DocumentCode :
2745673
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
Volume :
4
fYear :
1996
fDate :
14-17 Oct 1996
Firstpage :
3186
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
ISSN :
1062-922X
Print_ISBN :
0-7803-3280-6
Type :
conf
DOI :
10.1109/ICSMC.1996.561496
Filename :
561496
Link To Document :
بازگشت