Title :
An environment for model-checking of logic control systems with hybrid dynamics
Author :
Kowalewski, S. ; Bauer, N. ; Preussig, J. ; Stursberg, O. ; Treseler, H.
Author_Institution :
Dept. of Chem. Eng., Dortmund Univ., Germany
Abstract :
This paper presents the modeling environment VERDICT which intends to make the method of formal verification applicable to logic controlled chemical plants. The tool offers textual and graphical editors to set up models of plant and controller. The plant model can be specified as hybrid dynamical or (timed) discrete systems, which are then translated automatically into models that are verifiable with existing model-checking tools. Furthermore, VERDICT allows one to include the controller model by specifying it in Instruction List (IL) code directly. The paper illustrates the different features of the framework, the underlying modeling paradigm, and some aspects of the analysis using a simple technical example
Keywords :
chemical industry; control system CAD; digital control; discrete event simulation; formal verification; process control; Instruction List code; VERDICT; chemical industry; formal verification; hybrid dynamics; logic control systems; model-checking; Automatic control; Chemicals; Communication system control; Control system synthesis; Formal verification; Inductors; Logic; Process control; Switches; Valves;
Conference_Titel :
Computer Aided Control System Design, 1999. Proceedings of the 1999 IEEE International Symposium on
Conference_Location :
Kohala Coast, HI
Print_ISBN :
0-7803-5500-8
DOI :
10.1109/CACSD.1999.808631