面向RTEMS应用的周期性调度算法验证技术研究
| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第1章 绪论 | 第10-16页 |
| ·课题研究背景和意义 | 第10-11页 |
| ·课题背景 | 第10-11页 |
| ·课题意义 | 第11页 |
| ·课题研究现状 | 第11-13页 |
| ·验证技术的研究现状 | 第11-12页 |
| ·数据采集技术的研究现状 | 第12-13页 |
| ·主要研究内容 | 第13-14页 |
| ·论文组织结构 | 第14-16页 |
| 第2章 RTEMS 任务调度概述 | 第16-30页 |
| ·RTEMS 系统概述 | 第16-21页 |
| ·RTEMS 体系结构 | 第16-18页 |
| ·RTEMS 系统特性 | 第18-19页 |
| ·RTEMS 应用架构 | 第19-21页 |
| ·RTEMS 任务调度概述 | 第21-24页 |
| ·RTEMS 调度机制 | 第21-22页 |
| ·任务抢占控制 | 第22-23页 |
| ·基于任务优先级抢占调度 | 第23-24页 |
| ·RTEMS 调度算法概述 | 第24-29页 |
| ·单调速率调度算法 | 第25-27页 |
| ·最早截止期限优先调度算法 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第3章 任务调度验证方法的研究 | 第30-44页 |
| ·调度算法验证的提出 | 第30-31页 |
| ·调度验证的关键数据研究 | 第31-35页 |
| ·任务调度的关键数据 | 第31-33页 |
| ·任务执行的关键数据 | 第33-34页 |
| ·WCET 和 BCET 的估算 | 第34-35页 |
| ·任务状态信息采集方法的研究 | 第35-38页 |
| ·RTEMS 应用信息采集 | 第35-37页 |
| ·数据采集策略 | 第37-38页 |
| ·最优化问题求解 | 第38页 |
| ·调度算法验证的研究 | 第38-41页 |
| ·任务状态转换 | 第39页 |
| ·任务的关键时刻 | 第39-40页 |
| ·有限状态机模型 | 第40-41页 |
| ·本章小结 | 第41-44页 |
| 第4章 调度算法验证平台的设计与实现 | 第44-70页 |
| ·数据采集算法的设计与实现 | 第44-55页 |
| ·变周期自适应采集算法设计 | 第44-45页 |
| ·变周期自适应采集算法实现 | 第45-49页 |
| ·数据采集器的实现 | 第49-55页 |
| ·任务调度验证模型设计与实现 | 第55-61页 |
| ·时间自动机转换机制设计 | 第55-56页 |
| ·时间自动机实现 | 第56-58页 |
| ·事件自动机转换机制设计 | 第58-59页 |
| ·事件自动机实现 | 第59-61页 |
| ·调度信息分析器的设计与实现 | 第61-68页 |
| ·采集信息输出 | 第61-62页 |
| ·信息采集命令控制 | 第62-63页 |
| ·函数调用顺序分析 | 第63-65页 |
| ·函数调用关系分析 | 第65-67页 |
| ·函数执行时间分析 | 第67-68页 |
| ·本章小结 | 第68-70页 |
| 第5章 验证平台搭建与结果分析 | 第70-94页 |
| ·验证平台总体结构 | 第70-71页 |
| ·验证平台环境搭建 | 第71-79页 |
| ·QEMU 虚拟机简述 | 第72-73页 |
| ·QEMU 仿真性能 | 第73-74页 |
| ·QEMU 仿真 RTEMS | 第74-76页 |
| ·GDB 远程连接 QEMU | 第76-78页 |
| ·内核映像文件系统搭建 | 第78-79页 |
| ·调度算法验证平台控制 | 第79-83页 |
| ·被测 RTEMS 应用介绍 | 第79-80页 |
| ·仿真平台控制 | 第80-82页 |
| ·被测应用相关设置 | 第82-83页 |
| ·采集算法对比与调度算法验证 | 第83-92页 |
| ·数据采集算法对比 | 第83-85页 |
| ·单调速率调度算法验证 | 第85-88页 |
| ·最早截止期限优先调度算法验证 | 第88-90页 |
| ·调度信息分析 | 第90-92页 |
| ·本章小结 | 第92-94页 |
| 结论 | 第94-96页 |
| 参考文献 | 第96-100页 |
| 攻读硕士期间发表的学术论文 | 第100-102页 |
| 致谢 | 第102页 |
