计算机科学 ›› 2012, Vol. 39 ›› Issue (Z6): 478-481.

• • 上一篇    下一篇

基于UML的列车自动防护系统需求建模研究

刘攀峰,邱听夕,陈祥献,黄 海,段会龙   

  1. (浙江大学生物医学工程与仪器科学学院 杭州310027);(浙江大学信号系统研发中心 杭州310027)
  • 出版日期:2018-11-16 发布日期:2018-11-16

UMI. Based Software Requirement Modeling for Automatic Train Protection

  • Online:2018-11-16 Published:2018-11-16

摘要: 针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。

关键词: 列车自动防护,需求建模,统一建模语言,形式化方法,安全性

Abstract: To meet the needs of high safety of automatic train protection system, this paper proposed and implemented an optimized UML-based rectuirement modeling method. By learning from the formal method, this paper improved the classical state machine model, and introduced a super-state machine with a series of accurate pre-defined rules, to implement the formal modeling of ATP system. Applied the method to an urban rail transit signal system, the result shows that the model established in this paper reduces the software failure by avoiding the ambiguity, meanwhile, it greatly improves the safety and reliability and makes the system more easily to develop and maintain.

Key words: Automatic train protection,Requirement modeling,UML,Formal method,Safety

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!