- · 新建铁路昆明至河口线玉溪至蒙自段突发环境事件应急预案[12/14]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公示[11/20]
- · 坪山云巴(胶轮有轨电车)1号线二期工程社会稳定风险分析公众参与公示[12/20]
- · 新建太原至焦作铁路(河南段)竣工环境保护验收公示[11/19]
- · 滨北线松花江公铁两用桥(市政工程)改建工程竣工环境保护验收公示[09/15]
- · 巡视公告[08/26]
- · “大干100天”劳动竞赛活动——中铁济南监理徐州轨道交通3号线盾构区间右线顺利贯通[08/21]
- · 新建南通至苏州至嘉兴至宁波铁路张家港(不含)至苏浙省界段社会稳定风险分析公众参与公示[08/18]
基于标签转移系统的二乘二取二系统的形式化验证研究
作者: 付伟
关键词: CTCS系统 模型校验 标签转移系统 二乘二取二
摘要:为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证.模型检验是验证系统安全属性的有效手段之一.提出基于转移标签系统模型验证系统安全属性的新方法.针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64%,同时节省开发工作时间29%.结果表明:该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进.
上一篇: 城际铁路防止防淹门误动作对策研究
下一篇: 基于GOOSE的现代地铁环网全面保护方案