| 초록 |
화학공정중 플랜트에 열을 공급하고 스팀을 만드는 등의 역할을 하는 것이 보일러이다. 이러한 보일러는 운전이 까다롭고 Safety Interlock을 많이 적용시키고 있다. 보일러의 오동작이나긴급 상황 발생시에 공정의 열원의 불안정으로 말미암아 모든 공정에 이상이 발생할 수 있다. 그러므로 조업자의 운전에 대한 숙련정도가 안전에 중요한 요소로 작용한다. 공정안전에 관한 많은연구중 HAZOP, FTA 그리고 전문가 시스템등이 있다. 하지만 이들 방법들은 공정의 규모가 거대화되어감에 따라 더욱 많은 인력과 시간을 투자해 수행하여야 하며 공정의 개선에 따른 변화가생길 경우에 처음부터 다시 수행하여야 한다. 이러한 어려움을 극복하기 위해 제안되고 있는 것이 컴퓨터를 이용한 안전성의 검증의 자동화이다. 모쥴화된 SMV를 이용하여 모델을 세워 놓고이를 컴퓨터를 이용하여 자동적으로 검색하면 된다. 이 경우에 일어날 수 있는 위험한 상황을 검증 질의어라는 것을 이용해 검색하게 된다. 실제적인 경우에의 적용을 위한 예로 보일러를 선택하였다. 보일러에서 일어날 수 있는 위험한 상황으로서 가열로 내부의 농도가 증가하여 위험 수위에 이를 경우 점화시 폭발의 위험이 있으 퓐 보일러가 일정 범위이내에서 운전되는가를 검색하였다.
|
