期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模型驱动的安全关键系统重配置信息验证方法
被引量：
4
1
作者
胡军
马金晶
+3 位作者
刘雪
程桢
石娇洁
黄志球
《计算机科学与探索》
CSCD
北大核心
2015年第4期385-402,共18页
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建...
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。
展开更多
关键词
系统配置信息验证
MARTE
模型驱动工程
ARINC653
综合模块化航电
系统
(IMA)
在线阅读
下载PDF
职称材料
题名
模型驱动的安全关键系统重配置信息验证方法
被引量：
4
1
作者
胡军
马金晶
刘雪
程桢
石娇洁
黄志球
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
出处
《计算机科学与探索》
CSCD
北大核心
2015年第4期385-402,共18页
基金
国家重点基础研究发展计划(973计划)Grant No.2014CB744904
教育部留学回国人员科研启动基金Grant No.2012
+1 种基金
611航空科研基金Grant No.2012
南京航空航天大学青年科技创新基金Grant No.NS2014098~~
文摘
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。
关键词
系统配置信息验证
MARTE
模型驱动工程
ARINC653
综合模块化航电
系统
(IMA)
Keywords
verification of system configuration information
MARTE
model driven engineering
ARINC653
inte-grated modular avionics （IMA）
分类号
TP316.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模型驱动的安全关键系统重配置信息验证方法
胡军
马金晶
刘雪
程桢
石娇洁
黄志球
《计算机科学与探索》
CSCD
北大核心
2015
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
