| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·选题背景及意义 | 第11-12页 |
| ·国内外研究概况及发展趋势 | 第12-13页 |
| ·课题来源 | 第13页 |
| ·本文研究内容及论文结构 | 第13-15页 |
| ·本文研究内容 | 第13页 |
| ·论文结构 | 第13-15页 |
| 第2章 AADL与ARINC653综述 | 第15-23页 |
| ·AADL概述 | 第15-18页 |
| ·AADL组件类型 | 第15-16页 |
| ·AADL组件结构 | 第16-17页 |
| ·组件间关联 | 第17-18页 |
| ·AADL扩展接口 | 第18页 |
| ·ARINC653概述 | 第18-21页 |
| ·时空分区概念 | 第19-20页 |
| ·健康监控 | 第20页 |
| ·配置文件 | 第20-21页 |
| ·ARINC653与AADL对应规则 | 第21-22页 |
| ·本章总结 | 第22-23页 |
| 第3章 配置工具开发分析与设计 | 第23-27页 |
| ·配置工具开发需求分析 | 第23-24页 |
| ·配置工具开发概要设计 | 第24-26页 |
| ·配置工具构架设计 | 第24页 |
| ·配置工具功能子系统设计 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第4章 配置文件自动生成工具的设计与实现 | 第27-49页 |
| ·配置文件自动生成工具的整体构架设计 | 第27-28页 |
| ·配置文件自动生成工具的具体实现 | 第28-41页 |
| ·AADL扩展规则 | 第28-31页 |
| ·属性集扩展 | 第31-33页 |
| ·OSATE开发环境及模型文件的建立 | 第33-34页 |
| ·模型文件实例化及AAXL文件解析 | 第34-35页 |
| ·交互类的设计 | 第35-36页 |
| ·规则引擎的设计 | 第36-38页 |
| ·配置信息的验证及配置文件的生成 | 第38-40页 |
| ·工具插件版本的设计及实现 | 第40-41页 |
| ·配置文件自动生成工具运行环境及使用图示 | 第41-43页 |
| ·工具运行环境 | 第41页 |
| ·工具使用图示 | 第41-43页 |
| ·实例分析 | 第43-48页 |
| ·本章总结 | 第48-49页 |
| 第5章 可调度性判定工具的研究 | 第49-72页 |
| ·可调度性判定概述 | 第49页 |
| ·SCT改进工作 | 第49-60页 |
| ·SCT简介 | 第49-50页 |
| ·SCT调度模型及实现过程 | 第50-53页 |
| ·SCT改进 | 第53-59页 |
| ·实例分析 | 第59-60页 |
| ·基于仿真的可调度性判定工具的设计与实现 | 第60-71页 |
| ·任务调度的模拟过程 | 第61-62页 |
| ·工具整体结构 | 第62页 |
| ·工具的核心实现及性能分析 | 第62-66页 |
| ·实例分析 | 第66-67页 |
| ·RM可调度性判定改进算法 | 第67-71页 |
| ·本章总结 | 第71-72页 |
| 第6章 分区任务集可调度性判定工具的设计与实现 | 第72-86页 |
| ·分区调度理论概述 | 第72页 |
| ·分区调度模型 | 第72-75页 |
| ·基于时间自动机的分区任务集可调度性等价判定工具的设计与实现 | 第75-79页 |
| ·等价调度模型的研究 | 第75-77页 |
| ·抢占算法实现 | 第77-78页 |
| ·实例分析 | 第78-79页 |
| ·工具性能描述 | 第79页 |
| ·基于仿真的分区任务集可调度性判定工具的设计与实现 | 第79-84页 |
| ·理论依据 | 第79-81页 |
| ·核心算法实现 | 第81页 |
| ·实例分析 | 第81-84页 |
| ·工具性能描述 | 第84页 |
| ·两种方法实现的分区任务集可调度性判定工具的对比 | 第84页 |
| ·本章总结 | 第84-86页 |
| 结论 | 第86-87页 |
| 致谢 | 第87-88页 |
| 参考文献 | 第88-91页 |
| 攻读硕士学位期间发表的论文 | 第91页 |