基于AADL的综合航电分区系统可调度性判定  

Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL

作　　者：袁翔[1] 胡军[1,2] 马金晶[1] 刘雪[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016 [2]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《计算机工程》2014年第10期52-60,共9页Computer Engineering

基　　金：国家自然科学基金资助项目(61272083);江苏省普通高校研究生科研创新计划基金资助项目(CXZZ11_0218)

摘　　要：综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。Integrated Modular Avionics（ IMA） partitioned system is put forward to improve the reliability and security of the system,but in the process of system design and implementation,analysis and validation should be used to ensure that the system time requirements are met. In allusion to IMA system which meets ARINC653 specification,according to the characteristics of hierarchy scheduling partitioned system,this paper proposes a schedulability determination method based on simulation method. With the aid of Cheddar tool and the function of custom scheduling strategy,Architecture Analysis and Design Language（AADL） has the ability of modeling partitioned system,then the tool operates on the generated AADL model to determine the system schedulable. Example analysis result shows that the tool has automatic, accurate and fast advantages to describe task scheduling process by Gantt chart and the result is accurate and detailed.

关 键 词：综合模块化航电 ARINC653 系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]