计算机联锁系统软件可靠性设计方法的应用研究
| 第一章 绪论 | 第1-20页 |
| ·铁路信号和计算机联锁 | 第16页 |
| ·故障-安全的概念 | 第16-17页 |
| ·软件需求工程的概念 | 第17-18页 |
| ·本课题的研究对象和意义 | 第18-20页 |
| 第二章 软件需求工程和软件需求模型 | 第20-28页 |
| ·软件需求工程 | 第20-21页 |
| ·软件需求工程的层次 | 第21-22页 |
| ·需求工程的发展阶段 | 第22-23页 |
| ·需求工程活动 | 第23-25页 |
| ·需求工程方法学 | 第23页 |
| ·需求工程方法 | 第23-24页 |
| ·需求工程工具 | 第24-25页 |
| ·软件需求规格说明书 | 第25-26页 |
| ·软件需求规格说明书基本内容 | 第25-26页 |
| ·软件需求规格说明书的特征 | 第26页 |
| ·需求工程目前的一些问题及其讨论 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 UML统一建模语言 | 第28-42页 |
| ·有关UML | 第28-31页 |
| ·UML的发展历程 | 第28-30页 |
| ·UML的发展现状 | 第30-31页 |
| ·UML定义与内容 | 第31-33页 |
| ·UML的视图与图 | 第33-34页 |
| ·UML的开发过程 | 第34-35页 |
| ·标准建模语言UML支持环境 | 第35-37页 |
| ·标准建模语言UML开发环境 | 第35-36页 |
| ·Rose工具简介 | 第36-37页 |
| ·Rose工具的特点 | 第37页 |
| ·UML的应用实例 | 第37-41页 |
| ·用例图的组成 | 第37-39页 |
| ·用例的构造步骤 | 第39页 |
| ·具体实例 | 第39-40页 |
| ·用例图的作用及应用范围 | 第40页 |
| ·用例图的不足之处 | 第40-41页 |
| ·本章小节 | 第41-42页 |
| 第四章 形式化描述语言 | 第42-53页 |
| ·形式化方法 | 第42页 |
| ·形式化描述 | 第42-43页 |
| ·形式化验证 | 第43页 |
| ·形式化方法评价 | 第43-44页 |
| ·形式化方法优势 | 第43-44页 |
| ·形式化方法缺陷 | 第44页 |
| ·形式化方法总结 | 第44页 |
| ·Z语言 | 第44-48页 |
| ·Z语言定义 | 第44-45页 |
| ·Z语言的表示方法 | 第45页 |
| ·Z语言中的数学语言 | 第45-48页 |
| ·Z语言的应用简例 | 第48-52页 |
| ·形式化符号的说明 | 第48页 |
| ·UML中一些图符的形式化描述 | 第48-51页 |
| ·z语言应用简例 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第五章 计算机联锁系统结构及功能要求 | 第53-62页 |
| ·铁路信号联锁系统的发展与演变 | 第53-54页 |
| ·计算机联锁系统的性能要求 | 第54-56页 |
| ·计算机联锁系统的基本结构 | 第54页 |
| ·联锁系统的性能要求 | 第54-55页 |
| ·计算机联锁系统小结 | 第55-56页 |
| ·HJ04A计算机联锁系统的系统结构 | 第56-60页 |
| ·系统的硬件结构 | 第56-57页 |
| ·系统的软件结构 | 第57-60页 |
| ·联锁软件规格说明书要求 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 第六章 联锁软件的规格说明书的设计 | 第62-79页 |
| ·使用自然语言进行描述的软件规格说明书 | 第62-63页 |
| ·软件的设计原则 | 第62页 |
| ·软件的实现功能 | 第62-63页 |
| ·软件的界面设计 | 第63页 |
| ·数据需求 | 第63页 |
| ·使用UML半形式化描述语言描述的软件规格说明书 | 第63-72页 |
| ·系统构件图的描述 | 第63-65页 |
| ·用例图的描述 | 第65-66页 |
| ·活动图的描述 | 第66-68页 |
| ·基本联锁任务的UML描述 | 第68-70页 |
| ·类图的描述 | 第70-72页 |
| ·使用Z语言进行形式化描述 | 第72-78页 |
| ·联锁软件基本联锁任务的形式化描述 | 第72-76页 |
| ·联锁软件显示界面的形式化描述 | 第76-78页 |
| ·本章小结 | 第78-79页 |
| 第七章 联锁软件的Z模式的范式转换 | 第79-86页 |
| ·范式的概念 | 第79页 |
| ·联锁软件Z模式的转换 | 第79-85页 |
| ·OperateJL模式的范式转换 | 第80-81页 |
| ·SelectJL模式的范式转换 | 第81页 |
| ·SwitchJL模式的范式转换 | 第81页 |
| ·ConsistCheck模式的范式转换 | 第81-82页 |
| ·LockJL模式的范式转换 | 第82-83页 |
| ·Opensig模式的范式转换 | 第83-85页 |
| ·本章小结 | 第85-86页 |
| 第八章 结束语 | 第86-91页 |
