基于STPA和时序逻辑的RBC切换场景安全分析

摘要

本文提出一种利用时序逻辑运算的方法对系统理论的过程分析进行扩展的方法。首先建立对应的系统理论的事故模型及过程,参考列控系统的十四个运营场景进行细化,以RBC切换场景为例,进行系统安全性分析。最后结合时序逻辑约简来辨识可能出现的复杂系统危险。