面向SysML的系统安全性分析工具与实例研究

摘要：

基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力.系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言.针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究.首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性.实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析.

关键词：安全关键系统、SysML、AltaRica、工具、机轮刹车系统

所属期刊栏目：47

资助基金：南京航空航天大学研究生创新基地实验室开放基金kfjj20181607

在线出版日期：2020-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：284-294