论文部分内容阅读
针对列车运行控制系统的实时性要求,提出一种改进的双机热备安全平台结构实现方案。使用AADL建立框架模型并对框架分析与验证,得到框架代码,再以有限状态机为接口通过Simulink工具建立模型,利用RTW工具箱的进行码自动生成,与框架代码合并得到完整的可执行代码。对生成代码的功能与性能进行验证,不仅功能上与规范一致,实时性较传统热备方案提高约20%。
In view of the real-time requirement of train operation control system, an improved scheme of dual platform hot standby safety platform is proposed. Using AADL to establish the framework model and analyze and verify the framework, get the framework code, then use the finite state machine as the interface to establish the model through the Simulink tool, and use RTW toolbox to generate the code automatically and combine with the framework code to obtain the complete executable code. Verification of the functions and performance of generated code is not only functionally consistent with the specification, but the real-time performance is about 20% higher than the traditional hot standby solution.