%0 Journal Article
%T 基于模型转换的ima系统可调度性验证方法
%A 胡军
%A 程桢
%A 马金晶
%A ？
%J 南京航空航天大学学报
%P 403-411
%D 2015
%X 综合模块化航空电子系统（integratedmodularavionics,ima）中分区运行时间特征满足需求是ima系统安全可靠性运行的一个重要问题。本文针对满足arinc653规范的ima系统的层级调度特性，结合ima系统调度配置信息，提出了一种在模型驱动工程(modeldrivenengineering,mde)框架下，基于实时嵌入式系统建模与分析（modelingandanalysisofrealtimeandembeddedsystem，marte）模型的arinc653分区调度系统建模转换与可调度性验证的方法。借助mast工具及其自定义调度策略功能，分析分区系统调度特性并利用marte对其进行建模，并利用该工具对marte模型进行仿真以验证其可调度性，最后给出了一个实例分析。
%K 综合模块化航电系统
%K 可调度性验证
%K arinc653
%K 实时嵌入式系统与分析
%K 模型驱动工程
%U http://jnuaa.nuaa.edu.cn/ch/reader/view_abstract.aspx?file_no=201503014&flag=1