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

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