DocumentCode :
2341120
Title :
Towards automatic verification of embedded control software
Author :
Bauer, Nanette ; Huuck, Ralf
Author_Institution :
Dept. of Chem. Eng., Dortmund Univ., Germany
fYear :
2001
fDate :
2001
Firstpage :
375
Lastpage :
383
Abstract :
The language: sequential function charts (SFC), is a programming and structuring language for programmable logic controllers (PLC). It is defined in the IEC 61131-3 standard and includes various interesting concepts such as parallelism, hierarchy, priorities, and activity manipulation. Although SFCs are perpetually used in the engineering community for programming and the design of embedded control systems, there are hardly any specific verification approaches for them. Existing approaches for Petri nets, Grafcets, or (UML-)Statecharts do not really apply to SFCs, whose structures are similar but include distinct features. We present a method to model-check SFCs. This is done by defining a translation of SFCs into the native language of the Cadence Symbolic Model Verifier (CaSMV). This translation is specifically tailored to cover all the concepts of SFCs and can be performed automatically. Moreover, we demonstrate our approach by an application to a control process in chemical engineering
Keywords :
IEC standards; chemical technology; control engineering computing; embedded systems; process control; program interpreters; program verification; programmable controllers; CaSMV; Cadence Symbolic Model Verifier; IEC 61131-3 standard; PLC; SFC language; SFC translation; activity manipulation; automatic verification; chemical engineering; control process; embedded control software; embedded control systems design; engineering community; hierarchy; native language; parallelism; programmable logic controllers; programming and structuring language; sequential function charts; verification approaches; Automatic control; Control systems; Design engineering; Embedded software; Functional programming; IEC standards; Logic programming; Petri nets; Process control; Programmable control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-1287-9
Type :
conf
DOI :
10.1109/APAQS.2001.990043
Filename :
990043
Link To Document :
بازگشت