铁路信号安全关键软件形式化建模

发布时间：2019-01-12 14:32

【摘要】：针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。
[Abstract]:Aiming at the problem that the current modeling method can not meet the requirement of clock constraint and the high complexity of the model of the key software of railway signal system security, this paper analyzes the SyncCharts modeling method, aiming at the lack of formal specification and clock constraint. The Timed SyncCharts modeling method with clock attribute is extended. Firstly, the formal definition of Timed SyncCharts is given systematically by using Z language, secondly, the macro step transfer mechanism of Timed SyncCharts is determined by combining the component elements of Timed SyncCharts. Then, the rules of transforming Timed SyncCharts into Kripke structure are proposed to ensure the feasibility of model analysis. Finally, the Timed SyncCharts model of computer interlocking software switch location requirements is established to prove the feasibility and effectiveness of the method.
【作者单位】： 西南交通大学信息科学与技术学院;
【基金】：中国铁路总公司重点项目(2015X009-D;2014X008-A)
【分类号】：TP309;U284.95

【相似文献】

相关期刊论文 前10条

1 张利;怀柔站西门子计算机联锁技术通过审查[J];铁道通信信号;2000年01期

2 宋西欣;计算机联锁设备维修体制探讨[J];铁道通信信号;2000年10期

3 严黎,吴芳美;铁路车站计算机联锁软件的安全性评估策略[J];同济大学学报(自然科学版);2002年09期

4 夏平,朱楚生;计算机联锁设备的推广与应用[J];中国铁路;2002年07期

5 王历江;计算机联锁设备在我局应用的经济技术指标分析及建议[J];哈尔滨铁道科技;2002年01期

6 郭东福,段国强,李军;津霸线车站计算机联锁的问题分析与解决[J];铁道通信信号;2003年07期

7 张清显,于华都;计算机联锁换型改造的施工[J];铁道通信信号;2003年07期

8 严大龙,季忠洪;计算机联锁电源系统有关问题的分析及改进[J];铁道通信信号;2003年11期

9 郦萌,徐翥,王铁江;计算机联锁软件制式的安全性评价[J];铁道学报;2004年01期

10 张树坤;计算机联锁过渡施工新方法[J];铁道通信信号;2004年03期

相关会议论文 前5条

1 张飞宁;;对于计算机联锁进一步发展的思考[A];《河南铁道》2011年第5期[C];2011年

2 袁于思;;集二铁路集宁至贲红段区域计算机联锁方案[A];中国电气化铁路两万公里学术会议论文集[C];2005年

3 潘明;何梅芳;张萍;赵阳;赵永青;;计算机联锁安全电子终端及其冗余组态的研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年

4 胡忠康;陈辛怡;;计算机联锁设备外部混线故障案例分析[A];浙江省铁道学会2006年学术交流会论文集[C];2006年

5 杨晓强;;对计算机联锁轨道采集电路引发故障的分析及措施[A];《河南铁道》2011年第5期[C];2011年

相关博士学位论文 前1条

1 陈永;基于高可信无线通信的列车流形式化建模与仿真[D];兰州交通大学;2014年

相关硕士学位论文 前10条

1 刘培顶;计算机联锁安全输入/输出板编程器的设计与开发[D];西南交通大学;2015年

2 刘涛;区域计算机联锁站间安全通信的研究[D];兰州交通大学;2015年

3 牛凯兰;晨曦火车站联锁控制模拟系统的设计与实现[D];电子科技大学;2015年

4 侯宇婷;基于安全状态机的计算机联锁系统建模与分析[D];西南交通大学;2016年

5 张京晶;基于UML的铁路信号计算机联锁仿真系统的研究与实现[D];北京工业大学;2016年

6 姚文韬;高铁计算机联锁仿真培训系统—联锁软件的研究[D];兰州交通大学;2016年

7 苏琛;高铁计算机联锁教学培训子系统研究[D];兰州交通大学;2016年

8 薛丰;计算机联锁自动测试系统研究与设计[D];西南交通大学;2017年

9 冯涛;网络计算机联锁仿真系统研究[D];兰州交通大学;2013年

10 韩海玲;全电子计算机联锁软件质量度量分析与研究[D];兰州交通大学;2013年

，

本文编号：2407885