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

作　　者：孙雅晴[1] 穆建成 马连川[3] 曹源[3] 

机构地区：[1]北京交通大学电子信息工程学院,硕士研究生北京100044 [2]铁道部科学技术司,处长副教授北京100844 [3]北京交通大学轨道交通运行控制系统国家工程研究中心,副教授北京100044

出　　处：《中国铁路》2011年第9期36-39,共4页China Railway

基　　金：国家科技支持计划课题(2009BAG14 B01);国家科技支持计划课题(2009BAG12 A08)

摘　　要：针对列车运行控制系统的实时性要求,提出一种改进的双机热备安全平台结构实现方案。使用AADL建立框架模型并对框架分析与验证,得到框架代码,再以有限状态机为接口通过Simulink工具建立模型,利用RTW工具箱的进行码自动生成,与框架代码合并得到完整的可执行代码。对生成代码的功能与性能进行验证,不仅功能上与规范一致,实时性较传统热备方案提高约20%。

关 键 词：列车运行控制系统 双机热备 AADL SIMULINK RTW 

分 类 号：U284.362[交通运输工程—交通信息工程及控制]