基于AADL和Simulink的列控系统双机热备结构设计.pdfVIP

基于AADL和Simulink的 列控系统双机热备结构设计 孙雅晴 北京交通大学电子信息工程学院，硕士研究生，北京，100044 穆建成 铁道部科学技术司，处长，副教授 ，北京，100844 马连川 北京交通大学轨道交通运行控制系统国家工程研究中心，副教授 ，北京 ，100044 曹 源 北京交通大学轨道交通运行控制系统国家工程研 究中心，讲师，北京，100044 摘 要：针对列车运行控制系统的实时性要 求，提 出一种改进 的双机热备安全平 台结构 实现方案 。使用AADL建立框架模型并对框 架分析与验证，得到框架代码 ，再以有限状 态机为接 口通过Simulnk_T_具建立模型，利用 RTw工具箱的进行码 自动生成 ，与框架代码 合并得到完整的可执行代码。对生成代码 的 功能与性能进行验证 ，不仅功能上与规范一 致，实时性较传统热备方案提高约2O％。 关键词：列车运行控制 系统；双机热备； AADL：Simulink；RTW 要求。为进一步降低传统安全计算机平台采州基于心跳 线或简单切换单元所带来的平台崩溃风险，提H5一种基 于智能第三方和分层结构实现双机热备平台安全计算机 平台的方案，并利用基于模型的设计与实现方法，对平 台架构进行分析与验证。 0 引言 该方案所采用的设计与实现流程见图1。首先，进 列车运行控制系统 (简称列控系统 )是保证列车安 行安全平 台的功能需求分析 ，根据需求分析结果建立 全行驶的关键 ，需要很高的实时性和可靠性。作为列控 系统架构模型。其次 ，在设计初期根据架构模型检验 系统的核心装备 ，对安全计算机平台提出了非常严格的 设计方案的合理性 ，将架构模型转换成C代码 (框架代 基金项 目：国家科技支持计划课题 (2009BAG14B01)；国家科技支持计划课题 (2009BAG]2A08)。 ． 36一 (= 苎 Ch|NEsERA／LWAYS2011／0,9 理层和数据通信层3层。其中：热备管理单元 (HSMU) 监控应用处理机 1和应用处理机2的丁作状态，并向应用 处理机1和应用处理机2发送模式码来通知其工作模式。 同H~HSMU输出周期同步信息模式码 ，使应用层的2台应 用处理机处于周期同步的工作状态。 应用处理层包括2台应用处理机。在每个控制周期 开始时都会从HSMU接收T作模式码 ，并根据接收到的 工作模式码来执行 “主”状态或 “备”状态的流程 。 完成应用处理流程后 ，都通过处理单元软件流程码 向 图1 基于模型的设计与实现流程 HSMU~E告 自己的工作状态。HSMU根据这些软件流程码 码 )。然后 ，以架构模型为依据建立Simulink模型 ，根 来判断双机的工作状态是否正常。当任何一台应用处理 据该模型 自动生成具有统一规范的代码 。最终合并代 机出现故障时 ，HSMU会指挥双机完成 “主”、 “备” 码 ，实现代码功能与性能的验证 ，并证