基于AADL和Simulink的列控系统双机热备结构设计 |
| |
引用本文: | 孙雅晴,穆建成,马连川,曹源.基于AADL和Simulink的列控系统双机热备结构设计[J].中国铁路,2011(9):36-39. |
| |
作者姓名: | 孙雅晴 穆建成 马连川 曹源 |
| |
作者单位: | 1. 北京交通大学电子信息工程学院,北京,100044 2. 铁道部科学技术司,北京,100844 3. 北京交通大学轨道交通运行控制系统国家工程研究中心,北京,100044 |
| |
基金项目: | 国家科技支持计划课题(2009BAG14 B01),国家科技支持计划课题(2009BAG12 A08) |
| |
摘 要: | 针对列车运行控制系统的实时性要求,提出一种改进的双机热备安全平台结构实现方案。使用AADL建立框架模型并对框架分析与验证,得到框架代码,再以有限状态机为接口通过Simulink工具建立模型,利用RTW工具箱的进行码自动生成,与框架代码合并得到完整的可执行代码。对生成代码的功能与性能进行验证,不仅功能上与规范一致,实时性较传统热备方案提高约20%。
|
关 键 词: | 列车运行控制系统 双机热备 AADL Simulink RTW |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|