基于MDA的区域控制中心系统建模研究
| 中文摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-14页 |
| ·研究背景 | 第9-10页 |
| ·问题提出 | 第10-12页 |
| ·研究内容 | 第12-14页 |
| 2 ZC系统分析设计方法 | 第14-26页 |
| ·面向对象分析技术 | 第14-16页 |
| ·面向对象分析技术简介 | 第14-15页 |
| ·采用面向对象分析的必要性 | 第15-16页 |
| ·模型驱动架构技术 | 第16-22页 |
| ·模型驱动架构概述 | 第16-17页 |
| ·MDA开发方法 | 第17-18页 |
| ·MDA软件生命周期 | 第18-21页 |
| ·MDA开发的优点 | 第21-22页 |
| ·MDA建模工具Rhapsody | 第22-26页 |
| 3 ZC系统需求分析 | 第26-39页 |
| ·CBTC系统简介 | 第26-31页 |
| ·CBTC系统的基本结构 | 第26-28页 |
| ·CBTC系统的行车管理方式 | 第28-29页 |
| ·移动授权的概念和作用 | 第29-31页 |
| ·ZC系统功能 | 第31-33页 |
| ·ZC系统功能性需求 | 第31-32页 |
| ·ZC系统与其他系统的信息交互 | 第32-33页 |
| ·ZC系统的安全性需求 | 第33-35页 |
| ·ZC系统的可靠性和可维护性需求 | 第35-36页 |
| ·ZC系统的可靠性需求 | 第35页 |
| ·ZC系统的可维护性需求 | 第35-36页 |
| ·ZC系统用例模型的建立 | 第36-39页 |
| 4 ZC系统软件设计 | 第39-60页 |
| ·ZC系统功能分配 | 第39-40页 |
| ·ZC系统模型 | 第40-47页 |
| ·系统类图的建立 | 第41-43页 |
| ·系统序列图的建立 | 第43-45页 |
| ·系统活动图的建立 | 第45-47页 |
| ·ZC软件子功能模型 | 第47-60页 |
| ·基于需求的功能划分 | 第47-51页 |
| ·列车管理功能模型 | 第51-53页 |
| ·MA计算功能模型 | 第53-56页 |
| ·ZC移交模型 | 第56-60页 |
| 5 ZC系统模型验证 | 第60-74页 |
| ·验证方法简介 | 第60-61页 |
| ·模型验证的Rhapsody实现 | 第61-64页 |
| ·Rhapsody的实时框架 | 第61-62页 |
| ·Rhapsody验证工具 | 第62-64页 |
| ·ZC系统模型验证 | 第64-73页 |
| ·模型模拟验证 | 第64-70页 |
| ·模型自动验证和覆盖率分析 | 第70-73页 |
| ·ZC系统模型验证结果 | 第73-74页 |
| 6 研究工作总结与展望 | 第74-75页 |
| 参考文献 | 第75-78页 |
| 致谢 | 第78-79页 |
| 作者简历 | 第79-80页 |
| 详细摘要 | 第80-93页 |
