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