针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
地铁门相关专题
- 北安桥有地铁站
- 2019地铁规划线路图
- 2019北京地铁线路图
- 2019年地铁线路图
- 常州地铁3号线规划
- 常州地铁2号线规划
- 成都地铁21号线线路图
- 成都地铁6号线线路图
- 成都地铁13号线线路图
- 常州地铁4号线规划图
- 防盗门装进门洞打六根膨胀螺丝固定
- 中航格澜阳光花园一期门禁对讲建设项目施工组织设计
- 执行设备工程监理规范提升地铁设备监理服务质量
- 岳西县中医院门急诊康复综合楼装饰工程监理实施细则
- 多方式远程控制门禁系统
- 在地铁建设、运营中屏蔽门系统与相关专业的接口分析
- 制药用水系统使用点取样阀门的应用设计和选型论文
- 以色列地铁粉砂地层盾构连续穿越河道和铁路施工技术
- 怎样挑选塑钢门窗——访西安海富特塑钢工程有限公司
- 易门大椿树水泥厂30万吨水泥粉磨站可行性报告
- 球形木质素吸附剂吸附L-天门冬氨酸的性能
- 广东江门建设工程材料厂商报价（2011年2季度）
- 关于印发杭州地铁工程现场文明施工管理规定通知
- 广东江门建设工程材料厂商报价（2018年1季度）
- 固定式、移动式起重机械使用审批、验收表(地铁集团)
- 广东江门建设工程材料厂商报价（2017年1季度）
- 广东江门建设工程材料厂商报价（2019年4季度）