Articles & Issues

Conflict of Interest: In relation to this article, we declare that there is no conflict of interest.

This is an Open-Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/bync/3.0) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

All issues

SMV를 이용한 보일러 공정 운전 절차의 안전성 검색

Safety Analysis of Boiler Process Operating Procedures using SMV

이승훈 김진경 문일

Lee S Kim J Moon I

HWAHAK KONGHAK, October 1999, 37(5), 679-685(7), NONE

Download PDF

Abstract

Symbolic Model Verifier(SMV)를 이용하여 보일러 공정의 안전을 검증하는 기법을 개발하였다. SMV를 가능한 모든 경우를 검증하는 자동화된 검증방법을 사용하기 때문에 공정의 모든 변수의 조합, 즉 다중 변수에 의한 공정의 위험상황 발생여부를 검증할 수 있다. SMV를 이용하여 보일러 모델을 구축하고 실제 보일러 공정에서 일어날 수 있는 팬의 고장이나 가열로 내부 불꽃 감지기의 고장과 같은 장치의 오류에 대하여 발생 가능한 위험 상황을 검색하였다. 구축된 모델을 사용하여 논리적으로 유추하기 어려운 다중 변수에 의한 위험상황에 대하여 보일러의 안전성을 검증하였다.

This study developed an algirithm for analyzing the safety of the boiler system including equipments and operating procedures using SMV (Symbolic Model Verifier). The strength of this algorithm is to verify the interactions of various variables simultaneously, while conventional simulation technique verifies only a few variable at one time. A boiler model is developed using SMV, and it can specify failures of fans, detectors and pumps. This method tests numerous dangerous conditions occured by multiple variables and identifies potential in the boiler system.

Keywords

SMV Safety Verification Boiler Process Operating Procedure

References

Probst ST, Powers GJ, Long DE, Moon I, Comput. Chem. Eng., 21(4), 417 (1997)
Moon I, Powers GJ, Burch JR, Clarke EM, AIChE J., 38(1), 67 (1992)
Moon I, IEEE Control Systems, 14(2), 53 (1994)
Moon I, Ko D, Probst ST, Powers G, J. Chem. Eng. Jpn., 30(1), 13 (1997)
Jeong SH, Lee KS, Moon I, J. Control. Automation Systems Eng., 2(1), 53 (1996)