本发明涉及一种安全计算机平台的构建方法，具体涉及一种基于列车控制系统的可扩展安全计算机平台的构建方法，属于计算机智能控制技术领域。
背景技术：
随着安全苛求系统在铁路、航空航天、工业控制等领域应用得越来越广泛，安全计算机技术的发展越来越受到人们的重视，已经形成了一个专门的学术分支，为了扩大适用范围、减少开发成本和维护成本，安全计算机的开发正朝着通用化、可升级、可扩展等方向发展。随着城市化水平的不断提高，世界各大城市都面临着日益严峻的交通问题，交通压力大、能源危机日益严重、交通安全、土地资源紧缺等问题，是目前城市交通巫待解决的问题，城市轨道交通以其运输能力大、安全高速、乘坐舒适等特点，满足了城市居民的出行要求，另外城市轨道交通在节约能源和土地资源方面也有着其他城市交通方式不可比拟的优势。因此，基于以上理论，提出一种基于列车控制系统的可扩展安全计算机平台的构建方法。
技术实现要素：
（一）要解决的技术问题
为解决上述问题，本发明提出了一种基于列车控制系统的可扩展安全计算机平台的构建方法，可靠性高、可用性强，且便于维护。
（二）技术方案
本发明的基于列车控制系统的可扩展安全计算机平台的构建方法，包括以下步骤：
第一步，描述基于模型工程的系统开发方法，指出其适用于安全计算机平台设计，并确定主要工作；
第二步，针对CBTC系统对安全计算机平台的RAMS需求和功能需求，提出了安全计算机平台的系统高层AADL模型，介绍该模型为三模冗余结构，由三个处理器和三个冗余管理单元组成，描述该平台的工作原理和RM硬件单元逻辑功能；
第三步，根据系统结构和工作原理，详细描述平台软件流程，建立平台软件详细AADL模型，重点说明该模型中系统表决、模式转换和系统重构模块，验证系统实时响应时间、安全等级和可调度性三方面特性；
第四步，实现可扩展安全计算机平台试验样机，完成安全计算机平台的所有基本功能，证明本设计的安全计算机平台的可实现性。
（三）有益效果
与现有技术相比，本发明的基于列车控制系统的可扩展安全计算机平台的构建方法，通过对通道的增减可以容易地对系统进行扩展，可靠性高、可用性强，且便于维护。
具体实施方式
一种基于列车控制系统的可扩展安全计算机平台的构建方法，包括以下步骤：
第一步，描述基于模型工程的系统开发方法，指出其适用于安全计算机平台设计，并确定主要工作；
第二步，针对CBTC系统对安全计算机平台的RAMS需求和功能需求，提出了安全计算机平台的系统高层AADL模型，介绍该模型为三模冗余结构，由三个处理器和三个冗余管理单元组成，描述该平台的工作原理和RM硬件单元逻辑功能；
第三步，根据系统结构和工作原理，详细描述平台软件流程，建立平台软件详细AADL模型，重点说明该模型中系统表决、模式转换和系统重构模块，验证系统实时响应时间、安全等级和可调度性三方面特性；
第四步，实现可扩展安全计算机平台试验样机，完成安全计算机平台的所有基本功能，证明本设计的安全计算机平台的可实现性。
上面所述的实施例仅仅是对本发明的优选实施方式进行描述，并非对本发明的构思和范围进行限定。在不脱离本发明设计构思的前提下，本领域普通人员对本发明的技术方案做出的各种变型和改进，均应落入到本发明的保护范围，本发明请求保护的技术内容，已经全部记载在权利要求书中。