铁路安全控制系统是以技术手段控制列车运行方向、运行间隔、运行速度的安全关键系统。车站联锁是控制列车站内运行的铁路安全控制系统地面核心子系统。根据铁路安全控制软件行业标准EN50128,车站联锁必须具有最高安全完整性等级SIL4级。由于各个国家具有不同的技术标准,甚至不同站场都会有不同的用户需求,极高的安全性要求、多变的技术标准、多样的需求变化以及联锁内部的复杂控制逻辑对联锁软件的开发造成了极大压力。传统的开发方式使用自然语言和图形描述系统的需求和设计,使用人工进行分析、审查、测试保证系统满足功能和安全的要求,但设计中容易引入歧义和错误,开发和测试低效、修改成本高。基于模型的形式化方法能够有效解决传统的开发方式中的问题:采用形式化语言精确地定义系统行为,避免歧义;形式化验证方便检查系统安全性;采用基于模型的开发方式能够更清晰地描述系统,进行更早和更有效的验证;自动生成代码增加开发效率,减少人工引入错误。SCADE作为基于模型的形式化开发代表工具已被广泛应用于各安全控制领域的系统开发中。本项目的目标是使用SCADE工具进行通用联锁软件的研制。为了重构既有联锁软件,开发通用的、模块化的、可扩展的软件架构,将联锁软件划分为与具体的输入和输出相关的平台适配层软件和完全的联锁运算核心逻辑。本文就使用SCADE工具进行通用联锁软件平台适配层的设计和实现展开工作。本文按照SCADE软件开发流程进行平台适配层的需求分析和概要设计;使用SCADE模型实现联锁软件中与具体的硬件平台和通信相关的数据处理、通信协议、通信方式、安全冗余等平台适配层逻辑;实现通用的、适应变更的联锁核心逻辑接口;搭建起方便易用的模型仿真和生成代码的集成测试环境;最后在安全计算机硬件平台上验证平台适配层的可行性,为SCADE开发联锁软件平台适配层提供一套可行的解决方案。