Automatic verification of control logics in safety instrumented system design for chemical process industry

Jinkyung Kim, Il Moon

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Automatic model checking is used to determine the error-free design of the SIS (Safety Instrumented System) and to find the logical errors in the chemical processes. It proposes an automatic technique to provide and to modify the P&ID design of SIS control logics. This method can be applied to verify its correctness of SIS and to find the logical errors by synthesizing a feasible sequence automatically. This study focuses on automatic verifying and synthesizing for the design, operability and reachability of SIS control logics in chemical processes.

Original languageEnglish
Pages (from-to)975-980
Number of pages6
JournalJournal of Loss Prevention in the Process Industries
Volume22
Issue number6
DOIs
Publication statusPublished - 2009 Nov 1

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Food Science
  • Chemical Engineering(all)
  • Safety, Risk, Reliability and Quality
  • Energy Engineering and Power Technology
  • Management Science and Operations Research
  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'Automatic verification of control logics in safety instrumented system design for chemical process industry'. Together they form a unique fingerprint.

  • Cite this