| 摘要 | 第1-3页 |
| Abstract | 第3-4页 |
| 目录 | 第4-8页 |
| 第一章 绪论 | 第8-14页 |
| ·实时系统简述 | 第8-9页 |
| ·实时系统的分析与设计 | 第9-10页 |
| ·实时系统的设计方法的发展及现状 | 第10-11页 |
| ·UML实时应用的可行性 | 第11-12页 |
| ·本课题研究概述 | 第12-14页 |
| 第二章 实时资源模型 | 第14-29页 |
| ·核心资源模型 | 第14-16页 |
| ·使用模型 | 第16-21页 |
| ·驱动模型 | 第17-19页 |
| ·静态使用模型 | 第19-20页 |
| ·动态使用模型 | 第20-21页 |
| ·资源类型 | 第21-23页 |
| ·资源管理包 | 第23页 |
| ·实现模型 | 第23-26页 |
| ·细化的实现 | 第24-25页 |
| ·部署的实现 | 第25-26页 |
| ·关于实时资源模型的UML扩展 | 第26-27页 |
| ·运用实时资源模型构造型的两个例子 | 第27-29页 |
| ·编码与部署 | 第27页 |
| ·温度采样 | 第27-29页 |
| 第三章 时间模型 | 第29-38页 |
| ·基本时间模型 | 第29-31页 |
| ·物理时间、物理瞬间及时长 | 第30页 |
| ·时间值 | 第30-31页 |
| ·时间间隔 | 第31页 |
| ·时间机制模型 | 第31-34页 |
| ·时钟 | 第33页 |
| ·计时器 | 第33-34页 |
| ·时间事件模型 | 第34-36页 |
| ·时间事件 | 第34-35页 |
| ·时间活动 | 第35页 |
| ·时间刺激 | 第35-36页 |
| ·时钟中断 | 第36页 |
| ·时间服务模型 | 第36-37页 |
| ·增加了时间标记的顺序图 | 第37-38页 |
| 第四章 并发模型 | 第38-43页 |
| ·并发模型 | 第38-40页 |
| ·活动 | 第39页 |
| ·并发单元 | 第39-40页 |
| ·立即／延迟服务 | 第40页 |
| ·同步／异步调用 | 第40页 |
| ·建模实例 | 第40-43页 |
| 第五章 实时系统的性能分析 | 第43-55页 |
| ·实时调度理论 | 第43-49页 |
| ·使用率上限定理(Utilization Bound Theorem) | 第44-45页 |
| ·完成时间定理(Completion Time Theorem) | 第45-47页 |
| ·完成时间定理的数学公式 | 第47-48页 |
| ·对周期和非周期任务的调度 | 第48-49页 |
| ·对同步任务的调度 | 第49页 |
| ·进一步的实时调度理论 | 第49-52页 |
| ·优先级转置 | 第50页 |
| ·泛化的使用率上限定理(Generalized Utilization Bound Theorem) | 第50-51页 |
| ·实时调度和设计 | 第51-52页 |
| ·应用泛化的实时调度理论的示例 | 第52-55页 |
| 第六章 调度模型 | 第55-78页 |
| ·有关调度的一些基本概念 | 第55-56页 |
| ·调度分析的类型 | 第56-57页 |
| ·静态调度及相关分析 | 第56-57页 |
| ·动态调度--最早期限优先分析，基于值的调度算法 | 第57页 |
| ·调度模型结构 | 第57-67页 |
| ·活动 | 第59-61页 |
| ·运行引擎 | 第61-62页 |
| ·实时环境 | 第62-63页 |
| ·应答 | 第63页 |
| ·调度(抽象) | 第63-64页 |
| ·调度者 | 第64页 |
| ·调度任务(抽象) | 第64-65页 |
| ·调度策略 | 第65页 |
| ·资源 | 第65-66页 |
| ·可调度资源 | 第66-67页 |
| ·触发器 | 第67页 |
| ·有关Esterel语言 | 第67-71页 |
| ·Esterel语言的模块化结构(Module) | 第67-68页 |
| ·Esterel语言的信号机制(Signual) | 第68页 |
| ·Esterel语言的变量(Varible) | 第68-69页 |
| ·表达式(Expression) | 第69页 |
| ·语句(Statement) | 第69-71页 |
| ·建模实例 | 第71-78页 |
| ·遥感勘测系统 | 第71-75页 |
| ·测速器 | 第75-78页 |
| 第七章 应用UML的实时扩展分析心脏起搏器系统 | 第78-87页 |
| ·问题陈述 | 第78-79页 |
| ·系统用况图 | 第79页 |
| ·起搏器类图 | 第79-80页 |
| ·起搏器的行为分析 | 第80-87页 |
| ·通信子系统 | 第80-83页 |
| ·搏动子系统 | 第83-87页 |
| 结束语 | 第87-89页 |
| 参考文献 | 第89-92页 |
| 攻读硕士学位期间发表的论文 | 第92-93页 |
| 独创性声明 | 第93-94页 |
| 致谢 | 第94页 |
