DocumentCode
2634727
Title
Methods and tools to the verification of safety-related control software
Author
Mertke, Thomas ; Menzel, Thomas
Author_Institution
Brandenburg Tech. Univ. of Cottbus, Germany
Volume
4
fYear
2000
fDate
2000
Firstpage
2455
Abstract
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 are 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
Keywords
Petri nets; industrial control; program verification; programmable controllers; safety; Petri nets; control system modelling; formal methods; programmable logic controller; safety-related control software; software tools; software verification; user-friendly interfaces; Costs; Displays; Logic; Petri nets; Product safety; Production; Programmable control; Software safety; Software tools; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location
Nashville, TN
ISSN
1062-922X
Print_ISBN
0-7803-6583-6
Type
conf
DOI
10.1109/ICSMC.2000.884360
Filename
884360
Link To Document