基于模型转换的IMA系统可调度性验证方法

• 作者: 刘雪 石姣洁 程桢 胡军 马金晶
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 综合模块化航电系统 可调度性验证 ARINC653 实时嵌入式系统与分析 模型驱动工程
• 年，卷（期）: 2015,（3）
• 页码范围: 403-411
• 页数: 9页
• 分类号: TP311
• 字数: 6655字
• 语种: 中文
• DOI: 10.16356/j.1005-2615.2015.03.014

摘要

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题.本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法.借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析.

作者信息

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