首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于Event-B图的图形化建模方法研究

摘要第5-6页
abstract第6-7页
第一章 前言第11-18页
    1.1 研究背景及意义第11-14页
    1.2 国内外研究现状第14-16页
    1.3 论文的选题和结构第16-18页
第二章 Event-B方法及Rodin平台第18-28页
    2.1 Event-B语言第18-19页
    2.2 Event-B模型第19-22页
        2.2.1 场景第19-20页
        2.2.2 机器第20-22页
        2.2.3 证明义务第22页
    2.3 场景扩展和机器精化第22-23页
    2.4 Event-B建模和基于Rodin Platform的形式化开发流程第23-24页
    2.5 Event-B建模实例第24-27页
        2.5.1 车站联锁控制系统的需求文档分析第24-25页
        2.5.2 车站联锁控制系统的形式化建模第25-27页
    2.6 本章小结第27-28页
第三章 基于Hybrid ETCS-3控制协议的需求分析第28-41页
    3.1 Hybrid ETCS-3设计标准第28-30页
        3.1.1 欧洲列车控制系统等级第28-29页
        3.1.2 Hybrid ETCS-3控制协议第29-30页
    3.2 Hybrid ETCS-3控制协议主流程第30-31页
    3.3 装备TIMS系统的Hybrid ETCS-3控制协议的逻辑流程图第31-38页
    3.4 Hybrid ETCS-3控制协议的需求规范提取第38-40页
        3.4.1 系统功能需求规范提取第39页
        3.4.2 安全属性需求规范提取第39-40页
    3.5 本章小结第40-41页
第四章 Event-B图模型和基于Event-B图的图形化建模方法第41-54页
    4.1 Event-B图模型第41-44页
    4.2 Event-B图模型的场景扩展和机器图精化第44-45页
    4.3 Event-B图模型和Event-B模型的等价性第45-46页
    4.4 Event-B图模型与Event-B模型的场景模型建模方法比较第46-49页
    4.5 基于Event-B图的图形化建模方法第49-53页
        4.5.1 需求文档分析第49-50页
        4.5.2 精化策略分析第50页
        4.5.3 机器流程图和机器图分析第50-51页
        4.5.4 模型验证及系统安全性和可靠性验证第51页
        4.5.5 Event-B图模型和Event-B模型的机器模型建模方法比较第51-53页
    4.6 本章小结第53-54页
第五章 基于Event-B图的图形化建模方法对Hybrid ETCS-3控制协议的形式化验证第54-69页
    5.1 精化策略设计第54-55页
    5.2 第一层精化第55-58页
        5.2.1 场景模型第55-56页
        5.2.2 机器图模型第56-58页
    5.3 第二层精化第58-62页
        5.3.1 场景模型第58-59页
        5.3.2 机器图模型第59-62页
    5.4 第三层精化第62-63页
        5.4.1 场景模型第62页
        5.4.2 机器图模型第62-63页
    5.5 第四层精化第63-66页
        5.5.1 场景模型第63-65页
        5.5.2 机器图模型第65-66页
    5.6 模型验证结果及系统安全性和可靠性分析第66-68页
    5.7 本章小结第68-69页
第六章 总结与展望第69-71页
    6.1 总结第69-70页
    6.2 展望第70-71页
致谢第71-72页
参考文献第72-77页
附录1第77-110页
攻读硕士学位期间发表的论文及参与的科研工作第110页

论文共110页,点击 下载论文
上一篇:虚拟交通环境下的植被仿真
下一篇:多幅图像典型目标三维重构的研究