面向对象的实时系统可调度性验证和代码生成技术研究
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-18页 |
| ·实时系统概述 | 第7-10页 |
| ·实时系统的定义 | 第7页 |
| ·实时系统的特征 | 第7-8页 |
| ·实时系统的应用 | 第8-9页 |
| ·实时系统的分类 | 第9-10页 |
| ·实时系统开发方法 | 第10-12页 |
| ·实时系统开发过程的特点 | 第10页 |
| ·结构化设计方法和面向对象方法 | 第10-12页 |
| ·其它开发方法 | 第12页 |
| ·本文研究的背景 | 第12-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·本文研究的内容 | 第15-16页 |
| ·论文的组织结构 | 第16-18页 |
| 第二章 基于UML的实时系统模型 | 第18-31页 |
| ·实时嵌入式系统对象模型的基本元素 | 第18-19页 |
| ·实体模型 | 第19-22页 |
| ·实体模型的构成元素 | 第19-21页 |
| ·实体模型的UML描述 | 第21-22页 |
| ·个体行为模型 | 第22-25页 |
| ·系统结构模型 | 第25-27页 |
| ·系统配置的定义 | 第25页 |
| ·系统配置的描述语言 | 第25-27页 |
| ·时间约束模型 | 第27-30页 |
| ·实时系统的两类时间约束 | 第27-28页 |
| ·端到端时间约束的UML描述 | 第28-30页 |
| ·小结 | 第30-31页 |
| 第三章 对象模型的可调度性验证技术研究 | 第31-45页 |
| ·可调度性验证理论基础 | 第31-35页 |
| ·任务集合及其属性 | 第32-33页 |
| ·经典调度算法和可调度性验证算法 | 第33-34页 |
| ·共享资源任务集的可调度性验证 | 第34-35页 |
| ·虚拟任务模型 | 第35-37页 |
| ·虚拟任务模型的定义 | 第35-36页 |
| ·系统实现的三种进程模型 | 第36-37页 |
| ·虚拟任务的执行过程分析 | 第37-40页 |
| ·UML状态机的RTC语义 | 第38-39页 |
| ·RTC算法的分析 | 第39-40页 |
| ·虚拟任务的可调度性验证 | 第40-44页 |
| ·虚拟任务的执行时间和阻塞时间 | 第40-42页 |
| ·两种进程映射模型的可调度性验证 | 第42-44页 |
| ·小结 | 第44-45页 |
| 第四章 对象模型的代码生成技术研究 | 第45-58页 |
| ·代码生成的目标平台规范 | 第45-47页 |
| ·代码生成流程 | 第47-51页 |
| ·运行时支持库的设计 | 第51-54页 |
| ·活动对象相关的数据结构 | 第51-53页 |
| ·消息发送操作伪代码 | 第53-54页 |
| ·消息分派函数的代码生成 | 第54-57页 |
| ·消息分派函数的几种实现方法 | 第55页 |
| ·消息分派函数生成流程 | 第55-57页 |
| ·小结 | 第57-58页 |
| 第五章 实例研究 | 第58-69页 |
| ·自动售咖啡机控制系统的对象模型 | 第58-64页 |
| ·实体模型 | 第58-59页 |
| ·个体行为模型 | 第59-62页 |
| ·系统结构模型 | 第62-63页 |
| ·时间约束模型 | 第63-64页 |
| ·自动售咖啡机控制系统的可调度性验证 | 第64-67页 |
| ·目标平台上的计算时间 | 第65页 |
| ·虚拟任务的响应时间计算 | 第65-67页 |
| ·自动售咖啡机控制系统的代码生成 | 第67-68页 |
| ·小结 | 第68-69页 |
| 第六章 结束语 | 第69-70页 |
| ·本文的主要工作 | 第69页 |
| ·进一步工作 | 第69-70页 |
| 参考文献 | 第70-74页 |
| 致谢 | 第74-75页 |
| 本人攻读硕士期间参加的科研项目 | 第75页 |
| 本人攻读硕士期间发表的论文 | 第75页 |
