-
题名基于UML的列车自动防护系统需求建模研究
被引量：1
- 1
-
-
作者
刘攀峰
邱昕夕
陈祥献
黄海
段会龙
-
机构
浙江大学生物医学工程与仪器科学学院
浙江大学信号系统研发中心
-
出处
《计算机科学》
CSCD
北大核心
2012年第B06期478-481,共4页
-
文摘
针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。
-
关键词
列车自动防护
需求建模
统一建模语言
形式化方法
安全性
-
Keywords
automatic train protection； requirement modeling； uml； formal method； safety
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
