模型驱动的嵌入式系统设计安全性验证方法研究

• 作者: 刘雪 石娇洁 程桢 胡军 马金晶 黄志球
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 1498-1509
• 页数: 12页
• 分类号: TP311.5
• 字数: 8442字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.08.013

摘要

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点.提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对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	程桢	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0
8	马金晶	南京航空航天大学计算机科学与技术学院	8	31	4.0	5.0
9	刘雪	南京航空航天大学计算机科学与技术学院	8	21	3.0	4.0