现代铁路车辆、车厢和其他车辆都配备了先进的列车控制和管理系统(TCMS)。TCMS负责安全关键任务，如紧急制动和紧急发动机关闭，以及乘客舒适系统，如供暖和通风。
由于TCMS软件的安全性非常重要，因此它必须满足严格的要求。该软件必须通过认证，符合EN 50128等功能安全标准，该标准涵盖了铁路控制和保护系统的软件。全面和持续的测试是成功认证过程的关键。然而，在传统的开发过程中，测试不能在硬件完成之前开始
在PESA，我们使用基于模型的设计开发实时机车TCMS软件，电联车（动车组），以及柴油多个单位（内燃动车组）（图1）。我们在Simulink模型的工程师低级别的软件需求金宝app®和州流®，运行仿真来验证他们的
图1所示。为德国联邦铁路和NEB建造的PESA柴油多单元铁路车辆，配备了基于模型设计开发的TCMS。
建模和仿真的TCMS软件
我们首先定义在ALM软件Polarion最初的系统要求。这些要求包括安全特征，诸如紧急制动，牵引控制和柴油发动机停机，以及非安全关键功能，例如照明，加热，通风，和其它乘客的舒适系统的控制。
我们在Simulink和Stateflow然后模型低层次的软件需求。金宝app在状态流状态转换图清楚地示出所有的状态在系统中以及要检查的条件和要执行的动作（图2）。只要有可能，我们重复使用我们自定义的Simulink库，其中包括调节柴油机转速基于当前电力需求调节器组件。金宝app
图2.在电池管理系统中的状态流图表。
除了开发控制模型，我们还开发列车硬件部件的工厂模型。在原型硬件可用之前，我们使用这些工厂模型在Simulink中运行闭环仿真，以验证我们的控制设计的功能。金宝app即使在硬件可用,我们继续使用模拟来验证特性,将困难或耗费时间来验证实际的火车上(图3)。例如,需要好几天的时间才能够放电电池和小时乘用车内的温度增加到一组特定点。在Si金宝appmulink中，我们可以在几分钟内模拟电压下降或温度变化，以快速验证电气和乘客舒适度系统在各种运行条件下的功能。
图3。金宝app利用Simulink模型对辅助变换器的开关进行验证。
生成和测试结构化文本
通过仿真验证设计后，我们使用Simulink PLC Coder™从Simulink和statflow模型生成结构化文本。金宝app因为生成的代码永远不会被手工修改，所以我们100%确信它与模型中捕获的需求和设计相匹配。然后，我们在PLC集成开发环境(IDE)中编译结构化文本，在部署到实际PLC进行实时测试之前，我们运行有限的测试。在过去，这些测试是我们验证设计的第一次机会。使用基于模型的设计，我们在达到这一点之前运行广泛的模拟。因此，我们可以更早地检测到问题，并且在开发后期的问题明显更少。我们的测试现在集中在那些不容易通过模拟验证的设计方面，使我们能够减少30%以上的测试时间。
从我们的模型中生成结构化文本的能力不仅消除了手工编码引入的缺陷，而且还使我们能够灵活地针对不同的PLC硬件。我们目前使用三家供应商的plc。我们可以使用相同的Simulink模型来金宝app生成结构化文本，甚至是C代码，以便在任何plc上实现。
我们的测试流程基于EN 50128标准。在这个过程中，我们基于我们的软件组件设计规范(SCDS)创建软件组件测试。本文档介绍了软件组件的数据类型、取值范围、安全完整性级别以及软件组件之间的交互。因为SCDS定义了输入变量如何影响输出状态，测试工程师可以使用一个黑箱模型来测试每个软件组件，该黑箱模型包括一个PLC功能块，其中包含用Simulink PLC Coder生成的结构化文本(图4)。金宝app
图4.黑箱模型用于测试发电机控制组件。
我们的测试环境由一个PLC控制器组成，该控制器具有与轨道车辆相同的处理器和输入/输出模块，模拟设备和测试软件。测试软件包括一组模拟开关和led，以及用于指定和显示模拟值的元件，例如车速和冷却剂温度(图5)。测试工程师使用该软件根据已建立的组件测试场景设置输入，然后验证软件显示的输出与场景中定义的输出匹配。
图5.软件用于组件测试。
追求认证EN 50128和下一步
我们在证明我们的安全相关的软件与EN 50128安全完整性等级（SIL）2个标准与TÜV南德意志集团顺应的过程。我们预计，文档化我们使用基于模型的设计，仿真和验证软件，以加快这一进程。如果认证机构评审要比较我们的系统的两个版本，我们可以使用模型和文档表明，设计的变化实现完全按照我们所描述的。在过去，评论家只好靠检查源代码。
作为下一步，我们将进一步简化认证过程，将我们在Polarion中的系统需求与在Simulink中实现它们的模型组件连接起来。金宝app我们还计划将基于模型的设计应用扩大到先进的驾驶辅助系统的开发。例如，我们正在探索图像处理和机器学习技术的结合，以处理来自热感摄像机和其他传感器的输入，以实现碰撞避免系统，该系统将检测轨道上的障碍物并自动制动。
