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

综合模块化航空电子系统（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模型进行仿真以验证其可调度性，最后给出了一个实例分析。

Schedulable Verification Framework for IMA System Based on Model-Transformation

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 ARINC 653 partition scheduling system is put forward based on model driven engineering (MDE). The hierarchy scheduling characteristics of IMA system are analyzed com bined with the IMA system scheduling configuration information, the model transfo rmation rules are established between the modeling and analysis of real-time an d embedded system (MARTE) model elements and the hierarchical scheduling semant ic 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 illus trate the validity of the method.