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

综合模块化航空电子系统（integratedmodularavionics,ima）中分区运行时间特征满足需求是ima系统安全可靠性运行的一个重要问题。本文针对满足arinc653规范的ima系统的层级调度特性，结合ima系统调度配置信息，提出了一种在模型驱动工程(modeldrivenengineering,mde)框架下，基于实时嵌入式系统建模与分析（modelingandanalysisofrealtimeandembeddedsystem，marte）模型的arinc653分区调度系统建模转换与可调度性验证的方法。借助mast工具及其自定义调度策略功能，分析分区系统调度特性并利用marte对其进行建模，并利用该工具对marte模型进行仿真以验证其可调度性，最后给出了一个实例分析。