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

发布时间：2017-05-30 15:08

  本文关键词：模型驱动的嵌入式系统设计安全性验证方法研究，，由笔耕文化传播整理发布。

【摘要】：基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。
【作者单位】： 南京航空航天大学计算机科学与技术学院;南京大学计算机软件新技术国家重点实验室;
【关键词】： 系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统
【基金】：国家重点基础研究发展计划973计划资助项目(2014CB744904) 国家自然科学基金资助项目(61100034,61170043) 南京航空航天大学青年科技创新基金资助项目(NS2014098) 回国留学人员科研启动基金资助项目(2012)
【分类号】：TP368.1;TP309
【正文快照】： 1引言模型驱动工程MDE(Model Driven Engineer-ing)[1~3]是近十年来在系统工程以及软件工程领域中出现的主流方法,其基本思想是以系统模型设计、模型转换与分析/验证为工程的重要核心,提高对复杂工程系统开发与维护的能力和效率。与此同时,建立基于模型的系统安全性分析方法并

【参考文献】

中国期刊全文数据库 前1条

1 张天;Frédéric JOUAULT;Christian ATTIOGB

本文编号：407377