【摘要】 针对列车自动防护系统(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 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.更多还原