摘要
综合模块化航空电子系统(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模型进行仿真以验证其可调度性,最后给出了一个实例分析。
Ensuring the satisfiability of partition time requirement in integrated modular avionics（IMA）is of great importance for the safe and reliable operation of IMA system.A method of modeling,transformation and scheduling validation of ARINC653 partition scheduling system is put forward based on model driven engineering（MDE）.The hierarchy scheduling characteristics of IMA system are analyzed combined with the IMA system scheduling configuration information,the model transformation rules are established between the modeling and analysis of real-time and embedded system（MARTE）model elements and the hierarchical scheduling semantic information,and a scheduling validation framework of IMA partition system is designed based on MARTE.Then MAST tool is used to make simulation for the MARTE model to verify the schedulability.Finally,a case analysis is given to illustrate the validity of the method.
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015年第3期403-411,共9页
Journal of Nanjing University of Aeronautics & Astronautics
基金
国家重点基础研究发展计划("九七三"计划)(2014CB744903)资助项目
回国留学人员科研启动基金资助项目
611航空科研基金资助项目
南京航空航天大学青年科技创新基金(NS2014098)资助项目
关键词
综合模块化航电系统
可调度性验证
ARINC653
实时嵌入式系统与分析
模型驱动工程
integrated modular avionics
schedulability verification
ARINC653
modeling and analysis of real-time and embedded system（MARTE）
model driven engineering
作者简介
通信作者：胡军，男，副教授，E—mail：hujun@nuaa．edu．cn。
