支持汽车电子的状态图验证工具—Smart Automata
| 摘要 | 第1-4页 |
| Abstract | 第4-10页 |
| 第1章 绪论 | 第10-15页 |
| ·研究背景 | 第10-13页 |
| ·基于模型的软件设计方法 | 第11-12页 |
| ·基于模型的验证方法 | 第12-13页 |
| ·论文的主要内容 | 第13页 |
| ·论文的主要贡献 | 第13-14页 |
| ·论文的组织结构 | 第14页 |
| ·本章小结 | 第14-15页 |
| 第2章 背景与现状 | 第15-30页 |
| ·统一建模语言UML及状态图 | 第15-16页 |
| ·图形建模框架 GMF | 第16-21页 |
| ·图形编辑框架GEF | 第17-21页 |
| ·Eclipse建模框架EMF | 第21页 |
| ·Eclipse开发平台 | 第21-27页 |
| ·Eclipse平台的体系结构 | 第21-24页 |
| ·Eclipse中可扩展的插件机制 | 第24-26页 |
| ·Eclipse的优势与特点 | 第26-27页 |
| ·相关产品分析 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第3章 状态图验证工具的设计与实现 | 第30-63页 |
| ·状态图验证工具的体系构架 | 第30-32页 |
| ·状态图建模环境 | 第32-37页 |
| ·状态图建模环境的功能 | 第32-33页 |
| ·状态图建模环境的系统结构 | 第33-34页 |
| ·状态图建模环境的设计与实现 | 第34-37页 |
| ·模拟仿真器 | 第37-56页 |
| ·声明信息的处理 | 第39-44页 |
| ·状态图的错误检查 | 第44-45页 |
| ·错误检查的设计与实现 | 第45-48页 |
| ·状态图的模拟仿真 | 第48-49页 |
| ·模拟仿真的设计与实现 | 第49-56页 |
| ·验证引擎 | 第56-62页 |
| ·验证界面与验证语言 | 第57-58页 |
| ·状态可达性的验证 | 第58-60页 |
| ·系统死锁的验证 | 第60-62页 |
| ·本章小结 | 第62-63页 |
| 第4章 状态图验证工具的应用实例 | 第63-71页 |
| ·通过向导建立新项目 | 第63-64页 |
| ·状态图可视化建模 | 第64-68页 |
| ·状态图的模拟仿真 | 第68-69页 |
| ·状态图的验证 | 第69-71页 |
| 第5章 总结与展望 | 第71-75页 |
| ·本文工作总结 | 第71-73页 |
| ·未来工作展望 | 第73-75页 |
| 参考文献 | 第75-77页 |
| 作者简介与在学期间主要研究成果 | 第77-78页 |
| 致谢 | 第78-79页 |
