检索结果-南通市图书馆

检索条件"主题词=PLC Program"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

The Modelling and Verification of plc program Based on Interactive Theorem Proving Tool COQ

The Modelling and Verification of PLC Program Based on Inter...

引用

2011 International Conference on Computer Science and Information Technology(ICCSIT 2011)

作者： Litian Xiao Mengyuan Li Ming Gu Jiaguang Sun National Laboratory for Information Science and Technology Key Laboratory for Information System Security Ministry of EducationDepartment of Computer Science and Technology School of Software Tsinghua University Beijing Special Engineering Design and Research Institute National Laboratory for Information Science and Technology Key Laboratory for Information System Security Ministry of Education Department of Computer Science and Technology School of Software Tsinghua University

COQ is an interactive theorem proving tool. The paper abstractly describes the feature of COQ, the architecture and working modes of plc program with the example of typical plc. It also introduces the first-order logic syntax and semantics of Intuitionistic Logic. It briefly introduces the main Gallina language syntax elements, the corresponding use methods and main theorem proving tactic on COQ. The work has modeled kernel data type and basic statements and and the denotational semantics of plc program with Gallina. It has given the correctness proof of plc program based on theorem proving, i.e. based on semantics function the relationship of configuration between the before codes execution and the after is proved. The main purpose is to prove whether a plc program satisfies certain nature within a scan period.

关键词： plc program Embedded System Verification Denotational Semantics Theorem Proving COQ

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Static slicing for plc program with ladder transformation

Static slicing for PLC program with ladder transformation

引用

第二十九届中国控制会议

作者： WANG Da 1,ZHAO Qianchuan 2 1.Center for Intelligent and Networked Systems,Dept.Automation and TNLIST,Tsinghua University,Beijing 100084,P.R..China2.Center for Intelligent and Networked Systems,Dept.Automation and TNLIST,Tsinghua University,Beijing 100084,P.R.China

plc（programmable logic controller）is one type of general industrial control platforms with high reliability,which has been widely used in many real-time control systems,such as transfer lines and continuous casting *** the increasing size and complexity of plc programs,the traditional manual test cannot meet the needs of industrial fields due to its inefficiency and error-prone *** slicing is a method of program analysis and *** on some slicing criterion,it removes the irrelevant statements from the source code to obtain a group of interested program *** this way,the scope of the program under study is *** this paper,program slicing of plc programs will be *** slicing of plc programs needs special treatment which is usually not necessary in other software written in high level language or assembly *** example,plc programs run in cyclic operating mode,and they usually allow each ladder to include more than one output ports making the number of outputs in one statement much larger than that of those in other *** first introduce a ladder transformation as a preparation for program *** algorithms for static slicing for plc programs are proposed.A demo is given to show that this method can effectively reduce the scale of program.

关键词： plc program Ladder Transformation Static Slicing Cyclic Slice

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

回到顶部

执行限定条件

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：