| 中文摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| ·研究的背景 | 第7-9页 |
| ·本文研究内容 | 第9-10页 |
| ·本文的组织结构 | 第10-12页 |
| 第二章 分布式实时系统简介 | 第12-17页 |
| ·分布式实时系统的概念 | 第12-13页 |
| ·分布式实时系统的定义 | 第12-13页 |
| ·分布式实时系统的分类 | 第13页 |
| ·分布式实时系统的特性 | 第13-14页 |
| ·分布式实时系统的实现方式 | 第14-15页 |
| ·分布式实时系统软件的特性 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第三章 软件体系结构与时序逻辑语言XYZ/E | 第17-38页 |
| ·软件体系结构 | 第17-26页 |
| ·软件体系结构概述 | 第17-18页 |
| ·软件体系结构的组成要素 | 第18-20页 |
| ·软件体系结构风格 | 第20-22页 |
| ·软件体系结构的描述与精化 | 第22-26页 |
| ·时序逻辑 | 第26-30页 |
| ·时序逻辑介绍 | 第26-27页 |
| ·实时逻辑与实时系统的其它形式化方法 | 第27-30页 |
| ·时序逻辑语言XYZ/E | 第30-37页 |
| ·时序逻辑语言XYZ/E概述 | 第30-31页 |
| ·XYZ/E的构成元素 | 第31-34页 |
| ·XYZ/E的实时性扩展 | 第34-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 基于XYZ/E的分布式实时软件体系结构 | 第38-56页 |
| ·分布式实时软件体系结构组成要素的实时性分析 | 第38-40页 |
| ·实时组件和连接件的XYZ/E描述 | 第40-45页 |
| ·实时组件的描述 | 第40-42页 |
| ·连接的实时匹配问题 | 第42-43页 |
| ·实时连接件的描述 | 第43-45页 |
| ·XYZ/E的基层模块和程序框架 | 第45-49页 |
| ·XYZ/E的程序结构形式 | 第49-52页 |
| ·基于XYZ/E的分布式实时软件体系结构描述与精化 | 第52-54页 |
| ·分布式实时软件体系结构 | 第52-53页 |
| ·基于XYZ/E的分布式实时软件体系结构的描述与精化的方法 | 第53-54页 |
| ·本章小结 | 第54-56页 |
| 第五章 实例系统应用 | 第56-73页 |
| ·系统的实时性分析 | 第56-57页 |
| ·基于XYZ/E的的体系结构描述 | 第57-59页 |
| ·实时售票系统的体系结构的精化 | 第59-72页 |
| ·端口的描述 | 第60-62页 |
| ·实时连接件的描述 | 第62-65页 |
| ·实时组件的初步精化 | 第65-68页 |
| ·功能实时组件的精化 | 第68-72页 |
| ·数据结构的描述 | 第68-69页 |
| ·精化后的功能组件到可执行的具体程序过渡 | 第69-72页 |
| ·本章小结 | 第72-73页 |
| 第六章 总结与展望 | 第73-75页 |
| ·工作总结 | 第73-74页 |
| ·下一步工作 | 第74-75页 |
| 参考文献 | 第75-77页 |
| 攻读学位期间本人公开发表的论文 | 第77-78页 |
| 致谢 | 第78-79页 |
| 详细摘要 | 第79-80页 |