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

摘要：

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

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

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2014-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：52-60