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