Title :
Towards automatic verification of embedded control software
Author :
Bauer, Nanette ; Huuck, Ralf
Author_Institution :
Dept. of Chem. Eng., Dortmund Univ., Germany
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;
Conference_Titel :
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-1287-9
DOI :
10.1109/APAQS.2001.990043