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

UML Based Software Requirement Modeling for Automatic Train Protection

作　　者：刘攀峰[1] 邱昕夕[2] 陈祥献[1] 黄海[1] 段会龙[1] 

机构地区：[1]浙江大学生物医学工程与仪器科学学院,杭州310027 [2]浙江大学信号系统研发中心,杭州310027

出　　处：《计算机科学》2012年第B06期478-481,共4页Computer Science

摘　　要：针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。To meet the needs of high safety of automatic train protection system,this paper proposed and implemented an optimized UML-based requirement 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.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]