论文部分内容阅读
目前,轨旁安全平台(TSP)已成功应用于地铁区域控制器和城际铁路通信控制器中,TSP采用了二乘二取二的冗余架构,其主备切换机制运用了模型驱动开发的方式进行设计。在介绍其主备工作原理及切换控制策略的基础上,通过Stateflow建立主备切换状态机模型,并利用Simulink搭建了一套主备切换控制系统;通过相关的测试用例验证,达到了预期的要求,能正确实现主备切换逻辑。