| 基于AADL的综合航电分区系统可调度性判定 |
| |
| 引用本文： | 袁翔,胡军,马金晶,刘雪. 基于AADL的综合航电分区系统可调度性判定[J]. 计算机工程, 2014, 0(10) |
| |
| 作者姓名： | 袁翔 胡军 马金晶 刘雪 |
| |
| 作者单位： | 1. 南京航空航天大学计算机科学与技术学院,南京,210016
2. 南京航空航天大学计算机科学与技术学院，南京210016; 南京大学计算机软件新技术国家重点实验室，南京210093 |
| |
| 基金项目： | 国家自然科学基金资助项目，江苏省普通高校研究生科研创新计划基金资助项目(CXZZ11_0218)。 |
| |
| 摘 要： | 综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。
|
| 关 键 词： | 综合模块化航电 ARINC系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法 |
Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL |
| |
| YUAN Xiang,HU Jun,MA Jin-jing,LIU Xue. Schedulability Determination of Integrated Modular Avionics Partitioned System Based on AADL[J]. Computer Engineering, 2014, 0(10) |
| |
| Authors: | YUAN Xiang HU Jun MA Jin-jing LIU Xue |
| |
| Abstract: | |
| |
| Keywords: | Integrated Modular Avionics ( IMA ) ARINC653 system partitioned system Architecture Analysis and Design Language( AADL) Cheddar tool schedulability determination simulation method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
