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

• 作者: 刘雪 胡军 袁翔 马金晶
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 综合模块化航电 ARINC653 系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: ?体系结构与软件技术?
• 页码范围: 52-60
• 页数: 9页
• 分类号: TP311
• 字数: 8800字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.10.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
5	马金晶	南京航空航天大学计算机科学与技术学院	8	31	4.0	5.0
6	袁翔	南京航空航天大学计算机科学与技术学院	2	8	2.0	2.0
7	刘雪	南京航空航天大学计算机科学与技术学院	8	21	3.0	4.0