摘要: 安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。
关键词:
安全苛求软件,
安全性分析,
形式化描述
Abstract: Safety analysis is very important to the software system which matches the safety requirement. Based on the model of safety-critical software, this paper analyzes the existing safety analysis methods and UML modeling language in the applications of safety-critical software, proposes a new method of safety description against the weakness of UML modeling language, and sets up a model of ATP system to verify the feasibility and validity of the method.
Key words:
safety-critical software,
safety analysis,
formalized description
中图分类号:
黄奕君;徐中伟. 基于UML顺序图的安全苛求软件安全性分析[J]. 计算机工程, 2008, 34(22): 37-39.
HUANG Yi-jun; XU Zhong-wei. Safety Analysis of Safety-critical Software Based on UML Sequence Diagrams[J]. Computer Engineering, 2008, 34(22): 37-39.