基于UML顺序图的安全苛求软件安全性分析  

Safety Analysis of Safety-critical Software Based on UML Sequence Diagrams

作　　者：黄奕君[1] 徐中伟[1] 

机构地区：[1]同济大学电子与信息工程学院,上海201804

出　　处：《计算机工程》2008年第22期37-39,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60674004)

摘　　要：安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。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.

关 键 词：安全苛求软件 安全性分析 形式化描述 

分 类 号：N945[自然科学总论—系统科学]