袁 翔,胡 军,2,马金晶,刘 雪

(1.南京航空航天大学计算机科学与技术学院,南京210016;

2.南京大学计算机软件新技术国家重点实验室,南京210093)

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

袁 翔1,胡 军1,2,马金晶1,刘 雪1

(1.南京航空航天大学计算机科学与技术学院,南京210016;

2.南京大学计算机软件新技术国家重点实验室,南京210093)

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。

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

1 概述

综合模块化航电(Integrated Modular Avionics, IMA)系统[1]是航空应用领域中的一类重要系统结构。ARINC653标准[2]定义了一种IMA软件体系结构,制定了操作系统层和应用软件层之间的标准接口(APEX)。标准满足ARINC653的IMA系统称为ARINC653系统。

ARINC653系统提出了分区操作系统的概念,用来提高航空电子系统的可靠性、高安全性。为保障系统的安全性和可靠性,在系统的设计和实现过程中,应采用各种分析、建模及验证方法对系统进行严格的检验,以保证系统在各种情况下的非功能需求和时间需求都能得到满足。……