Graphical modeling for the safety verification of chemical processes

Jinkyung Kim, Younghee Lee, Il Moon

Research output: Contribution to journalArticle

3 Citations (Scopus)

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

Fingerprint

Complex networks
Dynamical systems
Hardware
Computer simulation

All Science Journal Classification (ASJC) codes

  • Chemical Engineering(all)
  • Computer Science Applications

Cite this

Kim, Jinkyung ; Lee, Younghee ; Moon, Il. / Graphical modeling for the safety verification of chemical processes. In: Computer Aided Chemical Engineering. 2006 ; Vol. 21, No. C. pp. 1509-1514.
@article{654b5eae006d4f2695e2529d3665877c,
title = "Graphical modeling for the safety verification of chemical processes",
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.",
author = "Jinkyung Kim and Younghee Lee and Il Moon",
year = "2006",
month = "12",
day = "1",
doi = "10.1016/S1570-7946(06)80261-0",
language = "English",
volume = "21",
pages = "1509--1514",
journal = "Computer Aided Chemical Engineering",
issn = "1570-7946",
publisher = "Elsevier",
number = "C",

}

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 journalArticle

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 -