%0 Journal Article
%T 基于uml的列车自动防护系统需求建模研究
%A 刘攀峰
%A 邱听夕
%A 陈祥献
%A 黄 海
%A 段会龙？
%J 计算机科学
%D 2012
%X 针对列车自动防护系统(atp)对软件的高安全性的需求，提出并实现了一种基于uml的需求建模方法。该方法借鉴了形式化语言的特点，在经典的状态机模型上做了改进，引入了超级状态机，并定义了精确的规则和语义，实现了对复杂的atp系统的形式化建模。在某城市地铁线路的信号系统的应用表明，此方法建立的需求模型避免了语言描述的二义性，降低了软件故障率，提高了atp系统的安全性，且更易于开发和维护。
%K 列车自动防护
%K 需求建模
%K 统一建模语言
%K 形式化方法
%K 安全性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=12006127&flag=1