一种嵌入式系统模型的安全性分析验证方法

• 作者: 刘雪 石娇洁 程桢 胡军 马金晶 黄志球
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 系统安全性分析 模型驱动 SysML/MARTE XFTA 状态机模型 嵌入式系统模型
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 7-12
• 页数: 6页
• 分类号: TP31
• 字数: 4861字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2015.10.002

摘要

由于嵌入式系统模型设计周期越来越短，功能越来越复杂，其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况，文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括：构建了具备SysML/MARTE扩展语义的状态机元模型，以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型，然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则，并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明，提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
6	石娇洁	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0
7	马金晶	南京航空航天大学计算机科学与技术学院	8	31	4.0	5.0
8	刘雪	南京航空航天大学计算机科学与技术学院	8	21	3.0	4.0