摘要
本文提出一种利用时序逻辑运算的方法对系统理论的过程分析进行扩展的方法。首先建立对应的系统理论的事故模型及过程,参考列控系统的十四个运营场景进行细化,以RBC切换场景为例,进行系统安全性分析。最后结合时序逻辑约简来辨识可能出现的复杂系统危险。
出处
《电子技术与软件工程》
2023年第6期210-213,共4页
ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING
基金
国家自然科学基金-铁路基础研究联合基金《面向复杂环境的列车自主运行控制状态全息感知理论与关键技术研究》(项目编号:U2268206)
2022年度甘肃省重点人才项目《面向铁路信号系统的数字孪生应用平台研究》(项目编号:2022RCXM014)。
