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

摘要：

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

关键词：蒸汽锅炉、安全联锁、有限状态机、离散模型、验证

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2005-03-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：31-32,40