Graphical modeling for the safety verification of chemical processes

Jinkyung Kim, Younghee Lee, Il Moon

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)


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 languageEnglish
Pages (from-to)1509-1514
Number of pages6
JournalComputer Aided Chemical Engineering
Issue numberC
Publication statusPublished - 2006

All Science Journal Classification (ASJC) codes

  • Chemical Engineering(all)
  • Computer Science Applications


Dive into the research topics of 'Graphical modeling for the safety verification of chemical processes'. Together they form a unique fingerprint.

Cite this