Rail-Mil利用Ansys工具开发万博安全的车载嵌入式软件，确保铁路系统的功能安全

“利用Ansy万博s基于模型的软件解决方案，我们能够成功开发出控制符合EN 50128 SIL 4标准的CBTC级自动列车控制系统所需的嵌入式软件，并验证其安全运行符合EN 50129铁路安全标准。”

- Wawrzyniec Wychowanski，工学博士，软件销售总监/ Rail-Mil

介绍

Rail-Mil正在开发一种新的基于通信的列车控制(CBTC)系统，该系统主要基于Rail-Mil自己的硬件组件，完全符合欧洲列车控制系统(ETCS)，以及独特的双向无线数据传输。这种CBTC实现了移动块原理功能，确保了高效节能的自动列车控制，并在GoA3级上进行了车头时距优化，并完全准备好了GoA4级的自动运行。

挑战

为了完成这个项目，rail - mill必须:

• 为cbtc级列车自动控制系统开发嵌入式控制软件
• 验证系统在所有操作条件下的安全性

在时间和预算范围内实现这一目标的唯一方法是使用基于模型的工程技术来分析系统的安全性，捕获软件的行为并自动生成代码。

EN 50128铁路软件安全标准建议使用基于模型的软件开发和验证工具来满足安全相关系统开发的需要，特别是要达到最高的安全完整性级别(SIL)，最高可达SIL 4。

工程解决方案

Rail-Mil使用万博Ansys SCADE在固定(路旁)组件上生成60%用于ATO(自动列车运行)计算机的嵌入式代码和80%用于MAC(与现有SIL 4联锁系统的接口连接)的嵌入式代码。

对于列车上的组件，他们使用SCADE生成90%的ATO和ATP(自动列车保护)功能的嵌入式代码，包括:

• 完整的rmVC至关重要的计算机ATO+ATP功能的执行
• 基于惯性测量单元支持的传感器融合方法的智能里程计子系统
• 基于wifi测程法
• Balise传输模块
• I/O列车控制信号接口

此外，Rail-Mil使用万博Ansys medini分析根据铁路安全标准en50129进行安全案例文件和分析。在这种情况下，根据铁路标准的要求采用了FMEA工作表。

好处

• 易于阅读的SCADE模型，以便没有计算机科学技能的铁路工程师更好地理解
• 基于系统模型的自动代码生成
• 生成EN 50128 SIL 4合格/认证代码
• 节省系统规范和验证的时间
• 快速分析潜在故障的原因/影响
• 在使用不到半年后将现有功能迁移到Ansys SCADE万博
• 在项目团队之间轻松交换信息
• SCADE在系统安全案例中生成的测试文档的附件
• 万博Ansys在整个系统认证过程中提供支持