| 基于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 维普 万方数据 等数据库收录！ |
|
