Title :
Model-based verification of batch process control software
Author :
Kowalewski, Stefan ; Gesthuisen, Ralf ; Rossmann, V.
Author_Institution :
Dept. of Chem. Eng., Dortmund Univ., Germany
Abstract :
The paper describes an approach to verify control software for batch processes. We look at logic controller programs specified as sequential function charts (SFCs). The basis of the verification is a Boolean condition/event (BC/E) model of the uncontrolled behavior of the batch plant. The control program to verify is translated into a BC/E system representation and then connected to the plant model. The verification process consists of a comparison of the set of reachable states of the resulting system and a set of forbidden states. The approach is applied to an existing lab plant
Keywords :
Boolean functions; batch processing (industrial); industrial control; production control; program verification; Boolean condition/event model; batch process control software; forbidden states; logic controller programs; model-based verification; reachable states; sequential function charts; Application software; Chemical engineering; Humans; Logic; Performance evaluation; Process control; Software performance; Software safety; Software testing; Uncertainty;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.399860
