期刊文献+

基于UML的联锁进路控制过程建模 被引量:3

Research on Route Control Process of Railway Interlocking Software Modeling Based on UML
下载PDF
导出
摘要 随着铁路运输速度的不断提高,以及铁路客运专线、高速铁路的快速建设,对铁路计算机联锁系统的可靠性和安全性提出了更高的要求.联锁软件作为计算机联锁系统的核心组成部分,可靠性和安全性可以保证列车安全、高速地运行.选用统一建模语言UML为联锁软件建模,可以提高联锁软件的可靠性及安全性,同时也可以提高联锁软件的复用性. With the increasing speed of railway transportation,and the rapid construction of passenger rail lines and high-speed railway,the demands of reliability and safety of the railway computer based interlocking system are increasing more and more.As a core component of computer based interlocking system,the interlocking software's high reliability and safety can ensure train running safely and rapidly.Interlocking software modeling based on the Unified Modeling Language can improve its reliability and safety,but also can improve its reusability.
作者 万丽雯
出处 《兰州交通大学学报》 CAS 2012年第1期139-142,共4页 Journal of Lanzhou Jiaotong University
关键词 铁路信号 计算机联锁 UML 建模 railway signal computer based interlocking UML modeling
  • 相关文献

参考文献2

二级参考文献7

  • 1Booch G, Rumbaugh J, Jacobson L. The Unified Modeling Language Reference Manual[M].北京:科学出版社, 2004.
  • 2Peterson J L. Petri Net Theory and Modeling of Systems[M].New York, USA: Prentice Hall, 1981.
  • 3Jensen K. Colored Petri Nets-Basic Concepts, Analysis Methods and Practical Use (2^nd Edition) [M]. Germany: Springer, 1997.
  • 4Powel D. Realtime UML: Developing Efficient Objects for Embedded System [M]. Massachusetts, USA: Addison Wesley, 1998.
  • 5Egyed A. Synthesis of Behavioral Models from Scenarios[J]. IEEE Trans. on Software Engineering, 2003, 29(2): 99-115.
  • 6陈邦兴,吴芳美.铁路信号联锁逻辑形式化建模研究[J].铁道学报,2002,24(6):50-54. 被引量:24
  • 7乐晓波,陈黎静.Petri网应用综述[J].长沙交通学院学报,2004,20(2):51-55. 被引量:23

共引文献11

同被引文献18

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部