Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1509-1514 |
| Number of pages | 6 |
| Journal | Computer Aided Chemical Engineering |
| Volume | 21 |
| Issue number | C |
| DOIs | |
| Publication status | Published - 2006 Dec 1 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Chemical Engineering(all)
- Computer Science Applications
Cite this
}
Graphical modeling for the safety verification of chemical processes. / Kim, Jinkyung; Lee, Younghee; Moon, Il.
In: Computer Aided Chemical Engineering, Vol. 21, No. C, 01.12.2006, p. 1509-1514.Research output: Contribution to journal › Article
TY - JOUR
T1 - Graphical modeling for the safety verification of chemical processes
AU - Kim, Jinkyung
AU - Lee, Younghee
AU - Moon, Il
PY - 2006/12/1
Y1 - 2006/12/1
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 -