浅析蒸汽锅炉厂家的安全联锁系统

为了加强环保和安全监测，实时控制系统等有关场所要设置监测报警及安全联锁系统。在安全联锁回路设计中，将其安全性视为第一性能。安全联锁需要验证的性质可分为两类：安全性和活性，直观地讲安全性指某些坏的情况永远不会出现；活性指某些好的情况一定会发生。验证的目的就是当系统出现故障时能及时地采取必要的措施，实现系统的保护。

系统由炉体、水泵及其监控器、排水阀、水位计和汽速计组成。蒸汽锅炉是有高度安全性要求的复杂实时控制系统，在此系统中，水位应保持在一定的范围之内，以免发生灾难性的后果。如果水位超过正常范围，控制中心应打开阀门或关闭水泵来降低水位。如果水位低于正常范围，则应打开水泵注水。当水位超出或低于危险线时，系统应立即进入紧急停止状态。

所谓形式化验证是指从数学上完备地证明或验证设计实现是否与设计规范一致。它最早由lCarke和Emerson以及Qiuelle和isfakis在1981年分别提出的，主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。形式化验证包括两类方法，一类是以逻辑推理为基础，另一类则以穷尽搜索为基础。