基于SCADE的计算机联锁与列控一体化系统研究

发布时间：2021-04-21 00:44

　　高铁信号系统是控制高速列车安全、平稳、高效运行的核心设备,分为车载系统,地面系统,计算机联锁和列控中心为地面系统的两大子系统,将两子系统合并成一个系统是可能的。一体系统软件的安全可靠性要求极高,传统的开发方式已不能满足要求。高安全应用开发环境（SCADE）采用以“模型”为核心的开发方式替代以“代码”为中心的开发方式,可实现基于图形化的模型设计、仿真、验证、C代码生成及追溯文档,能够保证软件质量,提高开发效率,降低开发成本。本文重点是基于SCADE对一体系统软件开发,利用SCADE工具对软件建模、静态验证、覆盖率分析。具体包括以下内容:（1）通过对CTCS-2级列控系设备组成介绍,从软硬件及接口角度分析了一体化系统的可行性。并对一体系统硬件组成、软件结构进行设计。（2）研究开发工具SCADE理论基础,重点研究安全状态机建模和数据流图建模方法,以及静态验证、覆盖率分析等模型验证方法。并分析了SCADE开发的优势。（3）基于SCADE对列控联锁一体化系统软件整体功能建立模型图,重点对其中的进路控制模块、区段编码模块、应答器报文模块进行需求分析、功能设计,最后建立各自的模型图。（4）使用SCA... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：83 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
符号对照表
缩略语对照表
第一章 绪论
    1.1 选题背景
    1.2 国内外一体化系统现状
    1.3 SCADE开发环境
    1.4 主要内容及结构
第二章 开发环境SCADE简介
    2.1 SCADE开发环境优势
    2.2 SCADE系列工具
    2.3 SCADE理论基础
        2.3.1 反应式系统
        2.3.2 确定性
        2.3.3 同步假设
        2.3.4 并发性
    2.4 SCADE Suite介绍
        2.4.1 模型建立
        2.4.2 模型验证
        2.4.3 代码生成
第三章 列控联锁一体化系统设计
    3.1 CTCS-2 级列控系统概述
        3.1.1 车载设备介绍
        3.1.2 地面设备介绍
    3.2 一体化系统硬件设计
        3.2.1 操作表示机
        3.2.2 电务维修机
        3.2.3 逻辑主机
    3.3 一体化系统软件设计
        3.3.1 进路控制模块
        3.3.2 区段编码模块
        3.3.3 应答器报文处理模块
        3.3.4 区间运行方向控制模块
        3.3.5 临时限速处理模块
        3.3.6 区间逻辑检查模块
第四章 一体化系统软件模型图设计实现
    4.1 软件总体模型图设计实现
        4.1.1 需求分析
        4.1.2 功能设计
        4.1.3 建立模型图
    4.2 进路控制模型图设计实现
        4.2.1 需求分析
        4.2.2 功能设计
        4.2.3 建立模型图
    4.3 区段编码模型图设计实现
        4.3.1 需求分析
        4.3.2 功能设计
        4.3.3 建立模型图
    4.4 应答器报文模型图设计实现
        4.4.1 需求分析
        4.4.2 功能设计
        4.4.3 建立模型图
第五章 进路控制模型验证及代码生成
    5.1 进路控制模型静态验证
    5.2 进路控制模型代码生成
    5.3 进路控制模型覆盖率验证
        5.3.1 覆盖率准则提取
        5.3.2 覆盖率测试
第六章 总结
参考文献
致谢
作者简介



本文编号：3150718