Model-based verification of batch process control software

Author

Kowalewski, Stefan ; Gesthuisen, Ralf ; Rossmann, V.

Author_Institution

Dept. of Chem. Eng., Dortmund Univ., Germany

Volume

1

fYear

1994

fDate

2-5 Oct 1994

Firstpage

331

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSMC.1994.399860

Filename

399860