| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-16页 |
| ·课题背景 | 第8-9页 |
| ·国内外相关课题研究状况 | 第9-11页 |
| ·课题内容 | 第11-12页 |
| ·本文组织结构 | 第12-13页 |
| ·设计的技术路线 | 第13-14页 |
| ·完成此课题的意义 | 第14页 |
| ·本章小结 | 第14-16页 |
| 第二章 实时嵌入式软件构件开发及相关技术 | 第16-30页 |
| ·实时嵌入式系统的特点 | 第16-17页 |
| ·软件复用技术 | 第17-18页 |
| ·基于构件的软件开发技术 | 第18-21页 |
| ·软件构件的概念 | 第18-19页 |
| ·形式化方法在构件技术中的应用 | 第19-20页 |
| ·实时嵌入式软构件的特征 | 第20-21页 |
| ·ESDCM构件模型概述 | 第21-23页 |
| ·课题相关形式化描述语言概述 | 第23-28页 |
| ·Wright描述语言 | 第23-25页 |
| ·Wright语言的行为描述机制 | 第25-28页 |
| ·通讯顺序进程(CSP) | 第25-27页 |
| ·TCSP语言 | 第27-28页 |
| ·本章小结 | 第28-30页 |
| 第三章 ESDCM构件模型 | 第30-40页 |
| ·ESDCM构件模型概念 | 第30-31页 |
| ·ESDCM构件模型元素 | 第31-33页 |
| ·ESDCM构件模型规约机制 | 第33页 |
| ·ESDCM构件模型接口规约 | 第33-38页 |
| ·E构件功能性接口规约 | 第34-35页 |
| ·E构件非功能性接口规约 | 第35-38页 |
| ·配置接口规约 | 第35-37页 |
| ·状态接口规约 | 第37-38页 |
| ·本章小结 | 第38-40页 |
| 第四章 E构件组装机制及组装规约 | 第40-52页 |
| ·E构件连接方式 | 第40-42页 |
| ·E构件基本组装方法 | 第42-43页 |
| ·使用组装模式的组装方法 | 第43-47页 |
| ·E构件组装规约 | 第47-50页 |
| ·本章小结 | 第50-52页 |
| 第五章 E构件行为描述及行为组装推导 | 第52-62页 |
| ·E构件非实时行为描述 | 第52-54页 |
| ·E构件实时行为描述 | 第54-56页 |
| ·E构件进程变换方法 | 第56-58页 |
| ·E构件的行为组装推导 | 第58-61页 |
| ·本章小结 | 第61-62页 |
| 第六章 E构件时间性描述及时间组装推导 | 第62-72页 |
| ·E构件时间规约描述定义 | 第62-63页 |
| ·E构件时间规约描述语法 | 第63-65页 |
| ·E构件时间属性的配置方法 | 第65-67页 |
| ·E构件时间属性的组装推导 | 第67-70页 |
| ·E构件时间属性的组装推导原则 | 第67-68页 |
| ·E构件执行时间的组装推导方法 | 第68-70页 |
| ·E构件时间约束描述方法 | 第70-71页 |
| ·本章小结 | 第71-72页 |
| 第七章 基于ESDCM构件模型的实时嵌入式系统开发实例 | 第72-96页 |
| ·E构件组装开发策略 | 第72-73页 |
| ·实时嵌入式系统开发实例 | 第73-94页 |
| ·GAMS系统简介 | 第74页 |
| ·GAMS系统组成构件的拟定 | 第74-76页 |
| ·GAMS系统组装构件的确定 | 第76-79页 |
| ·接口规约分析 | 第76-78页 |
| ·GAMS系统实际组成构件 | 第78-79页 |
| ·GAMS系统的构件组装 | 第79-94页 |
| ·第一次组装 | 第79-85页 |
| ·第二次组装 | 第85-88页 |
| ·第三次组装 | 第88-94页 |
| ·本章小结 | 第94-96页 |
| 第八章 总结与展望 | 第96-99页 |
| ·论文工作总结 | 第96-97页 |
| ·后续工作展望 | 第97-99页 |
| 致谢 | 第99-100页 |
| 参考文献 | 第100-104页 |
| 附录 | 第104页 |