论文摘要
为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型.通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型.最后,通过不变式冲突与死锁检验进一步确认了模型的正确性.研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.
论文目录
文章来源
类型: 期刊论文
作者: 王恪铭,王峥
关键词: 铁路运输,铁路道口,需求规范,形式化方法,系统设计,模型验证
来源: 西南交通大学学报 2019年03期
年度: 2019
分类: 工程科技Ⅱ辑,工程科技Ⅰ辑
专业: 安全科学与灾害防治,铁路运输
单位: 西南交通大学信息科学与技术学院,西南交通大学系统可信性自动验证国家地方联合工程实验室
基金: 国家自然科学基金资助项目(71502146,61673320),中央高校基本科研业务费资助项目(2682017ZT12)
分类号: U298.55;U29-39
页码: 573-578+603
总页数: 7
文件大小: 1463K
下载量: 136
相关论文文献
- [1].形式化方法概貌[J]. 软件学报 2019(01)
- [2].形式化方法的理论基础专题前言[J]. 软件学报 2018(06)
- [3].《软件学报》形式化方法的理论基础专刊征文通知[J]. 软件学报 2017(03)
- [4].形式化方法与应用专题前言[J]. 软件学报 2017(05)
- [5].《软件学报》软件形式化方法与应用专刊征文通知[J]. 软件学报 2015(06)
- [6].软件形式化开发方法的选择策略研究[J]. 电子设计工程 2014(15)
- [7].形式化方法与工具专刊前言[J]. 软件学报 2011(06)
- [8].形式化方法在密码协议中的应用[J]. 科技信息 2009(06)
- [9].软件形式化方法与应用专题前言[J]. 软件学报 2016(03)
- [10].《软件学报》形式化方法和工具专刊征文通知[J]. 软件学报 2010(07)
- [11].基于形式化方法的软件开发技术[J]. 软件工程师 2009(09)
- [12].形式化方法在飞机轮刹系统安全性分析中的应用[J]. 河北省科学院学报 2009(04)
- [13].安全策略及设计规范的半形式化方法[J]. 清华大学学报(自然科学版) 2017(07)
- [14].藏传辩经原则的形式化[J]. 世界宗教文化 2018(06)
- [15].形式化方法在铁路信号系统软件设计中的应用[J]. 铁路通信信号工程技术 2013(S1)
- [16].一个基于形式化方法的系统安全性建模分析实例研究[J]. 小型微型计算机系统 2020(02)
- [17].形式研究与形式化方法[J]. 文艺研究 2012(01)
- [18].一种面向瞬时故障的容错技术的形式化方法[J]. 电子设计工程 2013(05)
- [19].车辆路径问题的形式化方法研究[J]. 科技资讯 2008(05)
- [20].存在精神的构建渠道与方式——论形式化的本质[J]. 才智 2019(10)
- [21].算法的形式化推导与基于Isabelle的自动化验证[J]. 江西师范大学学报(自然科学版) 2018(04)
- [22].间接计算模型和间接形式化方法[J]. 软件 2011(05)
- [23].形式化方法在软件工程中的应用研究[J]. 河北科技大学学报 2011(06)
- [24].对汉布林循环论证的改进及反思[J]. 新经济 2019(01)
- [25].软件形式化验证专题前言[J]. 软件学报 2019(07)
- [26].企业内控信息化实施的规范化方法研究——基于领域分析与形式化方法[J]. 大众投资指南 2019(16)
- [27].Modbus协议一致性测试的形式化方法[J]. 煤炭技术 2011(01)
- [28].形式化方法路上的自由探索者——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞[J]. 中国高新科技 2018(19)
- [29].连接器层次组合的形式化方法研究[J]. 武汉理工大学学报(信息与管理工程版) 2008(04)
- [30].面向嵌入式软件的异构形式化方法的集成[J]. 青岛农业大学学报(自然科学版) 2015(03)