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

发布时间：2018-02-13 03:17

本文关键词： 综合模块化航电系统可调度性验证 ARINC 实时嵌入式系统与分析模型驱动工程　出处：《南京航空航天大学学报》2015年03期 　论文类型：期刊论文

【摘要】：综合模块化航空电子系统(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模型进行仿真以验证其可调度性,最后给出了一个实例分析。
[Abstract]:It is an important problem for IMA system to meet the requirement of partition running time in integrated modular avionics IMA. This paper aims at the hierarchical scheduling characteristics of IMA system, which meets the ARINC653 specification. Based on the scheduling configuration information of IMA system, a model driven engineering model driven engineering framework is proposed. Modeling and Analysis of and analysis of real-time and embedded system based on Real-Time embedded system Modeling transformation and schedulability verification method for ARINC653 partitioned scheduling system, with the help of MAST tool and its function of self-defined scheduling strategy, this paper introduces the method of modeling transformation and schedulability verification of ARINC653 partitioned scheduling system based on modeling analysis of real-time and embedded system. This paper analyzes the scheduling characteristics of partitioned system and models it with MARTE, and simulates the MARTE model with this tool to verify its schedulability. At last, an example is given.
【作者单位】：南京航空航天大学计算机科学与技术学院;南京大学计算机软件新技术国家重点实验室;
【基金】：国家重点基础研究发展计划(“九七三”计划)(2014CB744903)资助项目回国留学人员科研启动基金资助项目 611航空科研基金资助项目南京航空航天大学青年科技创新基金(NS2014098)资助项目
【分类号】：V243;TP368.12

【参考文献】