基于UML的计算机联锁软件的分析与建模

计算机科学 ›› 2014, Vol. 41 ›› Issue (2): 222-225.

基于UML的计算机联锁软件的分析与建模

武晓春,高雪娟

兰州交通大学自动化与电气工程学院兰州730070;兰州交通大学自动化与电气工程学院兰州730070

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受基于受控拉格朗日函数的多欠驱动度力学系统控制器设计(61164010)资助

Analysis and Modeling of Computer Interlocking Software Based on UML

WU Xiao-chun and GAO Xue-juan

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。

关键词: 联锁软件,UML,顺序图,FSP,有限状态机中图法分类号TP311.5文献标识码A

Abstract: It is an important way to make sure the safety of train running and passengers’ life and property by effectively testing,analyzing and validating computer interlocking software．Formal model is the foundation of system testing,analyzing and validating．Based on interlocking software’s UML informal model,using finite state machine model as the mathematical tools to describe system formal model,this paper studied the method to traverse the UML sequence diagram or scenarios to finite state machine model．Firstly the UML sequence diagram was traversed to FSP process ma-thematical model,and then systematic finite state machine model was obtained by merging all objects’ process mathematic models in the UML sequence diagram．Finally,the case of controlling of entry routes was used to generate systematic finite state machine model to invalidate the feasibility and effectiveness of this method.

Key words: Interlocking software,UML,Sequence diagram,FSP,Finite process machine

武晓春,高雪娟. 基于UML的计算机联锁软件的分析与建模[J]. 计算机科学, 2014, 41(2): 222-225. https://doi.org/

WU Xiao-chun and GAO Xue-juan. Analysis and Modeling of Computer Interlocking Software Based on UML[J]. Computer Science, 2014, 41(2): 222-225. https://doi.org/

参考文献

[1] 王铁江,郦萌.计算机联锁软件的Z规格说明[J].铁道学报,2003,5(4):62-66
[2] 吴芳美.计算机联锁软件测试评估[J].铁路计算机应用,1999,8(1):7-10
[3] 李颖.基于UML的车站信号软件建模[D].北京:北京交通大学,2008
[4] Nakarnatsu K,Kiuchi Y,et al．Intelligent Railway Interlocking Safety on Annotated Logic Program and Verification Based its Simulation[C]∥Proceedings of the 2004IEEE International Conference on Networkinp,Sensing & Control．Taipei,Taiwan,2004
[5] 吴芳美.计算机联锁软件基于测试的安全性评价基准研究[J].铁道学报,2005,7(3):97-101
[6] Blom S,Ioustinova N,Pol J,et al．Simulated Time for TestingRailway Interlockings with TTCN-3[C]∥Proceedings of the 5^th International Workshop on Formal Approaches to．Testing of Software．LNCS 3997,6:1-15
[7] Garmhausen V H,Campos S,Cimatti A．Verification of a safety-critical railway interlocking system with real-time constraints[J]．Elsevier Science of Computer Programming,2000(36):1546-1563
[8] 王曦,徐中伟,梅萌.基于模型检测的软件安全性验证方法[J].武汉大学学报,2010,6(2):156-160
[9] 赵志熙.计算机联锁系统技术[M].北京:中国铁道出版社
[10] Arlow J,Neustadt J.UML2and the Unified Process[M].China Machine Process
[11] 王帅,吉吟东,杨士元.一种基于场景的CTCS-3列车控制系统建模方法研究[J].铁道学报,2011,3(9):55-61
[12] Magge J,Krammer J．Associated Concurrency:State Models and Java Programs[M].Wiley,1999

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed