Modeling and verification of control logics in safety instrumented system for chemical industrial processes

Jinkyung Kim, Younghee Lee, il Moon

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Abstract

This study focuses on automatic verification and validation methods for the safety and correctness of control logics of the safety instrumented system (SIS) in chemical process industry. The models of discrete events, system behaviors and control programs for chemical processes and SIS are developed using automata theory. Symbolic model checking method, an automatic error finding approach, is used to verify its safety and reliability. The strength of this method is to synthesize a feasible sequence through a counter-example and to verify its correctness using computation tree logic (CTL) simultaneously. This method can be applied to determine the error-free location of SIS, to find the logical errors automatically which is difficult to find manually, and to verify the safety and feasibility of SIS. This paper addresses the model development of the SIS control logics of chemical industrial processes and presents how model checking approach can be used efficiently in the verification of SIS control logics through several case studies.

Original languageEnglish
Title of host publication17th European Symposium on Computer Aided Process Engineering
EditorsValentin Plesu, Paul Serban Agachi
Pages1265-1270
Number of pages6
DOIs
Publication statusPublished - 2007 Dec 1

Publication series

NameComputer Aided Chemical Engineering
Volume24
ISSN (Print)1570-7946

Fingerprint

Industrial chemicals
Security systems
Model checking
Automata theory
Discrete event simulation
Industry

All Science Journal Classification (ASJC) codes

  • Chemical Engineering(all)
  • Computer Science Applications

Cite this

Kim, J., Lee, Y., & Moon, I. (2007). Modeling and verification of control logics in safety instrumented system for chemical industrial processes. In V. Plesu, & P. S. Agachi (Eds.), 17th European Symposium on Computer Aided Process Engineering (pp. 1265-1270). (Computer Aided Chemical Engineering; Vol. 24). https://doi.org/10.1016/S1570-7946(07)80235-5
Kim, Jinkyung ; Lee, Younghee ; Moon, il. / Modeling and verification of control logics in safety instrumented system for chemical industrial processes. 17th European Symposium on Computer Aided Process Engineering. editor / Valentin Plesu ; Paul Serban Agachi. 2007. pp. 1265-1270 (Computer Aided Chemical Engineering).
@inbook{c342f60e2bbe410facae609ff1b6e831,
title = "Modeling and verification of control logics in safety instrumented system for chemical industrial processes",
abstract = "This study focuses on automatic verification and validation methods for the safety and correctness of control logics of the safety instrumented system (SIS) in chemical process industry. The models of discrete events, system behaviors and control programs for chemical processes and SIS are developed using automata theory. Symbolic model checking method, an automatic error finding approach, is used to verify its safety and reliability. The strength of this method is to synthesize a feasible sequence through a counter-example and to verify its correctness using computation tree logic (CTL) simultaneously. This method can be applied to determine the error-free location of SIS, to find the logical errors automatically which is difficult to find manually, and to verify the safety and feasibility of SIS. This paper addresses the model development of the SIS control logics of chemical industrial processes and presents how model checking approach can be used efficiently in the verification of SIS control logics through several case studies.",
author = "Jinkyung Kim and Younghee Lee and il Moon",
year = "2007",
month = "12",
day = "1",
doi = "10.1016/S1570-7946(07)80235-5",
language = "English",
isbn = "9780444531575",
series = "Computer Aided Chemical Engineering",
pages = "1265--1270",
editor = "Valentin Plesu and Agachi, {Paul Serban}",
booktitle = "17th European Symposium on Computer Aided Process Engineering",

}

Kim, J, Lee, Y & Moon, I 2007, Modeling and verification of control logics in safety instrumented system for chemical industrial processes. in V Plesu & PS Agachi (eds), 17th European Symposium on Computer Aided Process Engineering. Computer Aided Chemical Engineering, vol. 24, pp. 1265-1270. https://doi.org/10.1016/S1570-7946(07)80235-5

Modeling and verification of control logics in safety instrumented system for chemical industrial processes. / Kim, Jinkyung; Lee, Younghee; Moon, il.

17th European Symposium on Computer Aided Process Engineering. ed. / Valentin Plesu; Paul Serban Agachi. 2007. p. 1265-1270 (Computer Aided Chemical Engineering; Vol. 24).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Modeling and verification of control logics in safety instrumented system for chemical industrial processes

AU - Kim, Jinkyung

AU - Lee, Younghee

AU - Moon, il

PY - 2007/12/1

Y1 - 2007/12/1

N2 - This study focuses on automatic verification and validation methods for the safety and correctness of control logics of the safety instrumented system (SIS) in chemical process industry. The models of discrete events, system behaviors and control programs for chemical processes and SIS are developed using automata theory. Symbolic model checking method, an automatic error finding approach, is used to verify its safety and reliability. The strength of this method is to synthesize a feasible sequence through a counter-example and to verify its correctness using computation tree logic (CTL) simultaneously. This method can be applied to determine the error-free location of SIS, to find the logical errors automatically which is difficult to find manually, and to verify the safety and feasibility of SIS. This paper addresses the model development of the SIS control logics of chemical industrial processes and presents how model checking approach can be used efficiently in the verification of SIS control logics through several case studies.

AB - This study focuses on automatic verification and validation methods for the safety and correctness of control logics of the safety instrumented system (SIS) in chemical process industry. The models of discrete events, system behaviors and control programs for chemical processes and SIS are developed using automata theory. Symbolic model checking method, an automatic error finding approach, is used to verify its safety and reliability. The strength of this method is to synthesize a feasible sequence through a counter-example and to verify its correctness using computation tree logic (CTL) simultaneously. This method can be applied to determine the error-free location of SIS, to find the logical errors automatically which is difficult to find manually, and to verify the safety and feasibility of SIS. This paper addresses the model development of the SIS control logics of chemical industrial processes and presents how model checking approach can be used efficiently in the verification of SIS control logics through several case studies.

UR - http://www.scopus.com/inward/record.url?scp=40849106679&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=40849106679&partnerID=8YFLogxK

U2 - 10.1016/S1570-7946(07)80235-5

DO - 10.1016/S1570-7946(07)80235-5

M3 - Chapter

SN - 9780444531575

T3 - Computer Aided Chemical Engineering

SP - 1265

EP - 1270

BT - 17th European Symposium on Computer Aided Process Engineering

A2 - Plesu, Valentin

A2 - Agachi, Paul Serban

ER -

Kim J, Lee Y, Moon I. Modeling and verification of control logics in safety instrumented system for chemical industrial processes. In Plesu V, Agachi PS, editors, 17th European Symposium on Computer Aided Process Engineering. 2007. p. 1265-1270. (Computer Aided Chemical Engineering). https://doi.org/10.1016/S1570-7946(07)80235-5