Title :
Practical program validation for plant control systems using SFC and temporal logic
Author :
Kawata, Hideji ; Uchihira, Naoslii
Author_Institution :
Res. & Dev. Center, Toshiba Corp., Tokyo, Japan
Abstract :
This paper proposes SAVE/SFC (Simulation and Varication Environment for SFC), which supports validation of sequence control programs written by an SFC (sequential function chart) for chemical plant control systems. SAVE/SFC has four characteristic features: (1) automatic generation of simulators for the process flow diagrams, (2) harmonization of conventional simulation and verification based on temporal logic model checking, and (3) suppression of state explosion based on a partial order approach. We also report the result of applying SAVE/SFC to actual chemical plants
Keywords :
chemical industry; process control; program verification; temporal logic; SAVE/SFC; SFC; chemical plant control systems; partial order approach; program validation; sequence control programs; temporal logic model checking; Automatic control; Chemicals; Control systems; Explosions; Laboratories; Logic; Power system reliability; Software systems; State-space methods; System testing;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.561496