| 摘要 | 第3-4页 |
| Abstract | 第4-5页 |
| 第1章 绪论 | 第9-12页 |
| 1.1 选题背景及意义 | 第9页 |
| 1.2 国内外研究现状 | 第9-10页 |
| 1.3 研究内容 | 第10-11页 |
| 1.4 论文组织结构 | 第11-12页 |
| 第2章 实时系统及调度模型综述 | 第12-19页 |
| 2.1 实时系统概述 | 第12-13页 |
| 2.1.1 实时系统的特征 | 第12-13页 |
| 2.1.2 实时系统分类 | 第13页 |
| 2.2 可调度性概述 | 第13-14页 |
| 2.3 普通实时系统及调度模型 | 第14-15页 |
| 2.4 分区实时系统及调度模型 | 第15-17页 |
| 2.4.1 ARINC653 分区实时系统时空分区机制 | 第15页 |
| 2.4.2 ARINC653 分区实时系统两级调度机制 | 第15-16页 |
| 2.4.3 ARINC653 分区实时系统调度模型 | 第16-17页 |
| 2.5 多处理器构架复杂实时系统及调度模型 | 第17-18页 |
| 2.6 本章总结 | 第18-19页 |
| 第3章 可调度性分析工具的整体构架和算法实现 | 第19-49页 |
| 3.1 工具主要功能模块及整体框架 | 第19-20页 |
| 3.2 普通实时系统调度分析算法的实现 | 第20-31页 |
| 3.2.1 对普通实时系统调度模型的约定 | 第20-21页 |
| 3.2.2 理论依据 | 第21-25页 |
| 3.2.3 模型建立 | 第25-28页 |
| 3.2.4 算法实现 | 第28-31页 |
| 3.3 多分区构架下实时系统的可调度性判定算法实现 | 第31-46页 |
| 3.3.1 分区实时系统两级调度实现机制 | 第32-37页 |
| 3.3.2 分区实时系统调度模型、任务模型、任务间抢占模型建立 | 第37-40页 |
| 3.3.3 分区实时系统可调度性判定算法实现 | 第40-46页 |
| 3.4 复杂实时系统可调度性判定算法实现 | 第46-48页 |
| 3.4.1 复杂实时系统调度模型建立 | 第46-47页 |
| 3.4.2 复杂实时系统可调度性判定算法 | 第47-48页 |
| 3.5 本章总结 | 第48-49页 |
| 第4章 可调度性分析工具界面的实现 | 第49-62页 |
| 4.1 调度模型创建模块的实现 | 第49-56页 |
| 4.1.1 调度模型建立 | 第49-54页 |
| 4.1.2 调度模型导出导入功能实现 | 第54-56页 |
| 4.2 实时系统可调度性分析工具触发界面实现 | 第56-58页 |
| 4.3 实时系统调度结果及仿真过程展示界面实现 | 第58-60页 |
| 4.3.1 调度分析结果界面实现 | 第58-59页 |
| 4.3.2 仿真执行界面实现 | 第59-60页 |
| 4.4 规范化考虑 | 第60-61页 |
| 4.5 本章总结 | 第61-62页 |
| 第5章 实例分析 | 第62-77页 |
| 5.1 基于单处理器普通实时系统的实例分析 | 第62-67页 |
| 5.1.1 单处理器动态优先级抢占策略下实例分析 | 第62-65页 |
| 5.1.2 单处理器静态优先级抢占策略下实例分析 | 第65-67页 |
| 5.1.3 单处理器普通实时系统可调度性判定实例分析总结 | 第67页 |
| 5.2 基于分区实时系统的实例分析 | 第67-72页 |
| 5.2.1 分区实时系统可调度性判定实例分析 | 第67-72页 |
| 5.2.2 分区实时系统可调度性判定实例分析总结 | 第72页 |
| 5.3 基于复杂实时系统的实例分析 | 第72-76页 |
| 5.3.1 复杂实时系统可调度性判定实例分析 | 第72-76页 |
| 5.3.2 复杂实时系统可调度性判定实例分析总结 | 第76页 |
| 5.4 本章总结 | 第76-77页 |
| 第6章 总结和展望 | 第77-79页 |
| 6.1 总结 | 第77页 |
| 6.2 展望 | 第77-79页 |
| 致谢 | 第79-80页 |
| 参考文献 | 第80-83页 |
| 攻读学位期间发表的学术论文和研究成果 | 第83页 |
