| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-22页 |
| ·选题目的和意义 | 第11-12页 |
| ·计算机系统可靠性技术概况 | 第12-15页 |
| ·避错和容错技术的概念 | 第12-13页 |
| ·避错和容错技术的分类 | 第13页 |
| ·容错技术在轨道交通信号系统中的应用 | 第13-15页 |
| ·面向对象的建模方法 | 第15-19页 |
| ·面向对象的建模技术 | 第15-16页 |
| ·面向对象的建模语言UML | 第16-17页 |
| ·利用UML建模 | 第17-19页 |
| ·UML模型到代码的自动生成 | 第19-20页 |
| ·论文研究内容及组织结构 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 2 基于ARTiSAN实时透视法的建模设计分析方法 | 第22-36页 |
| ·ARTiSAN实时透视法浅析 | 第22-29页 |
| ·实时透视法简介 | 第22-24页 |
| ·实时透视法的体系结构 | 第24-26页 |
| ·实时透视法的开发过程 | 第26-28页 |
| ·与传统开发模式的比较 | 第28-29页 |
| ·RTS在嵌入式实时系统中的应用分析 | 第29-33页 |
| ·基于实时UML的嵌入式实时系统开发环境选型分析 | 第29-31页 |
| ·RTS代码生成与同步开发平台简介 | 第31-32页 |
| ·RTS与其他建模工具的比较 | 第32-33页 |
| ·RTS图的类型及扩展属性 | 第33-35页 |
| ·RTS图的类型 | 第33页 |
| ·UML扩展机制 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 3 基于ARTiSAN实时透视法的车载三模冗余系统建模与实现 | 第36-54页 |
| ·ARTiSAN实时透视法在车载三模冗余系统中的应用分析 | 第36-39页 |
| ·CBTC系统及车载设备结构介绍 | 第36-38页 |
| ·应用ARTiSAN实时透视法的可行性分析 | 第38-39页 |
| ·系统需求体系结构设计 | 第39-43页 |
| ·定义系统需求 | 第39-41页 |
| ·定义软件需求 | 第41-43页 |
| ·系统解决方案体系结构设计 | 第43-52页 |
| ·物理架构设计 | 第43-46页 |
| ·系统类图的建立 | 第46-47页 |
| ·定义系统间交互 | 第47-48页 |
| ·系统软件平台工作流程 | 第48-50页 |
| ·创建系统行为模型 | 第50-51页 |
| ·通信任务并发图的建立 | 第51-52页 |
| ·系统模型行为验证 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 4 车载三模冗余系统模型到代码的自动生成 | 第54-70页 |
| ·代码自动生成技术简介 | 第54-57页 |
| ·代码自动生成技术的实现方法 | 第54-56页 |
| ·基于ARTiSAN C++ Synchronizer的代码生成与同步 | 第56-57页 |
| ·基于分层思想的代码生成系统结构功能定义 | 第57-58页 |
| ·车载三模冗余系统类模型到代码的转换 | 第58-65页 |
| ·定义类模型的UML扩展集 | 第58-59页 |
| ·基于车载三模冗余系统创建并应用扩展集 | 第59-62页 |
| ·ARTiSAN C++ Synchronizer中类模型到代码的映射 | 第62-64页 |
| ·类模型到代码的生成 | 第64-65页 |
| ·车载三模冗余系统类模型与代码的同步 | 第65-67页 |
| ·实际应用分析 | 第67-69页 |
| ·问题总结与分析 | 第67-68页 |
| ·VxWorks仿真机模拟测试 | 第68-69页 |
| ·本章小结 | 第69-70页 |
| 5 总结与展望 | 第70-72页 |
| 参考文献 | 第72-74页 |
| 图索引 | 第74-75页 |
| 表索引 | 第75-76页 |
| 作者简历 | 第76-78页 |
| 学位论文数据集 | 第78页 |
