Methods and tools to the verification of safety-related control software

被引：0
|
作者：
Mertke, T [1 ]
Menzel, T [1 ]
机构：
[1] Brandenburg Tech Univ, Cottbus, Germany
来源：
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5 | 2000年
关键词：
formal methods; Petri net; programmable logic controllers; verification;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper gives a summary of a project, which deals with methods for the proof of the demanded properties of user-written control software. Although these methods based on formal methods they are covered with user-friendly interfaces. The document displays the modelling of a control-system, which consists of a programmable logic controller (PLC), a user program and the environment, it demonstrates the description of the requirements for this system, and it explains, how we prove these requirements at the generated model.
引用
收藏
页码：2455 / 2457
页数：3
相关论文
共 50 条
12345