蒸汽锅炉安全联锁系统的建模及校验

Modeling of steam boiler Safe Interlock system and verification

蒸汽锅炉实时控制系统一股用于控制炉内水位,使其保持在特定的范围内。为了加强环保和安全监测,蒸汽锅炉实时控制系统等过程控制中的有关场所要设置监测报警及安全联锁系统,所以其安全联锁系统的设计与验证也非常重要。本文采用Stateflow工具在有限状态机理论的基础上,建立蒸汽锅炉安全联锁系统的离散模型并根据输入输出验证其安全性,并结合Sf2smv工具从Stateflow产生Smv(Sym-bolicModelVerifier)程序,自动检验Stateflow状态图的属性,以此来检验蒸汽锅炉安全联锁系统的设计是否合理。

the control system of steam boiler is to keep it under the given level, in order to strengthen environmental protection and safety Monitoring , the design and verification of the safety interlock is also very important. Based on finite state machine theory and use Stateflow he can Model steam boiler's Safety Interlocking system and verify it's security, and Use sf2smv tool he can produce a Smv program from stateflow, which is used automaticly check stateflow state chart attribute.