TY - JOUR
T1 - Graphical modeling for the safety verification of chemical processes
AU - Kim, Jinkyung
AU - Lee, Younghee
AU - Moon, Il
N1 - Copyright:
Copyright 2010 Elsevier B.V., All rights reserved.
PY - 2006
Y1 - 2006
N2 - This study focuses on verifying the safety using graphical modeling and simulation for chemical processes logics. UPPAAL is used as an integrated tool for modeling, simulation and verification in this study. Most of chemical processes are highly automated and they are represented by complex network control logics. The safety analysis of these chemical processes is always difficult or sometimes impossible to verify the system perfectly because the system includes dynamic variables, various levels of control activities (safety interlocking, regulatory/discrete control and sequential control), numerous units, instruments and control software/hardware. All these must be considered simulteneously, therefore, this study presents an effective technique for the safety verification using a graphical modeling and simulation.
AB - This study focuses on verifying the safety using graphical modeling and simulation for chemical processes logics. UPPAAL is used as an integrated tool for modeling, simulation and verification in this study. Most of chemical processes are highly automated and they are represented by complex network control logics. The safety analysis of these chemical processes is always difficult or sometimes impossible to verify the system perfectly because the system includes dynamic variables, various levels of control activities (safety interlocking, regulatory/discrete control and sequential control), numerous units, instruments and control software/hardware. All these must be considered simulteneously, therefore, this study presents an effective technique for the safety verification using a graphical modeling and simulation.
UR - http://www.scopus.com/inward/record.url?scp=77956776103&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956776103&partnerID=8YFLogxK
U2 - 10.1016/S1570-7946(06)80261-0
DO - 10.1016/S1570-7946(06)80261-0
M3 - Article
AN - SCOPUS:77956776103
VL - 21
SP - 1509
EP - 1514
JO - Computer Aided Chemical Engineering
JF - Computer Aided Chemical Engineering
SN - 1570-7946
IS - C
ER -