- · 新建铁路昆明至河口线玉溪至蒙自段突发环境事件应急预案[12/14]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公示[11/20]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公众参与公示[12/20]
- · 新建太原至焦作铁路(河南段)竣工环境保护验收公示[11/19]
- · 滨北线松花江公铁两用桥(市政工程)改建工程竣工环境保护验收公示[09/15]
- · 巡视公告[08/26]
- · “大干100天”劳动竞赛活动——中铁济南监理徐州轨道交通3号线盾构区间右线顺利贯通[08/21]
- · 新建南通至苏州至嘉兴至宁波铁路张家港(不含)至苏浙省界段社会稳定风险分析公众参与公示[08/18]
联锁系统UML模型的建立与形式化验证
作者: 刘征 武晓春
关键词: 形式化验证 计算机联锁系统 UML NuSMV 模型转换
摘要:针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法.以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再列出它与NuSMV之间的映射关系并实现将UML模型自动转换为NuSMV形式化模型,最后完成对计算机联锁系统的验证,检测其需求中可能存在的漏洞.该方法能够降低对计算机联锁系统形式化建模与验证的难度与减少人工建模时可能出现的错误,为计算机联锁系统形式化模型的建立与验证提供一种新思路.
上一篇: 市域铁路制式选择对车辆基地影响分析
下一篇: 基于证据理论的列控中心TSR处理功能安全性评估