联锁逻辑模型的安全性分析

Safety analysis of interlocking logic model

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。

Fault Tree Analysis（FTA） can be used to analyze the events and states of system failure.It is an effective method in analyzing the reliability and safety of safety-critical system.Time Petri Nets（TPN） describing temporal concurrent system can be used to model dynamic behavior of the system.However,safety of the model,constructed by TPN,can＇t be proved strictly by TPN itself.In this paper,a new method,combining the advantages of TPN and FTA,is presented.The models of interlocking system are analyzed by this method and some reformative approaches to the unsafe models are also proposed.