EN 50128 和 EN 50657
为铁路行业开发的高完整性系统需要证明其符合 CENELEC 标准中的 EN 50128 或/和 EN 50657。欧洲标准 EN 50128/A2:2020 规定了用于铁路控制和保护应用（如在通信、信号和处理系统中）的可编程电子系统的开发程序和技术要求。EN 50657 于 2017 年发布，自此成为铁路车辆和轨道车辆车载软件的适用规范。
EN 50128/A2:2020 和 EN 50657:2017 都将铁路安全完整性等级 (SIL) 中的功能分为 1 至 4 级（即从最不严格到最严格），此外还有一项基本完整性 (BI) 等级（即等效于 EN 50128:2011 中的 SIL 0）。火车制造商和供应商正在根据 EN 50128 和 EN 50657 的规定调整其软件开发过程。
这两个标准都要求对在整个软件开发过程中使用的离线软件工具进行工具分类和工具鉴定。Embedded Coder®、MATLAB 和 Simulink 验证工具以及 Polyspace 代码验证工具均已通过了 TÜV 南德的 EN 50128 和 EN 50657 鉴定和认证，涵盖 SIL 1 至 SIL 4 应用。这些鉴定基于特定于应用的验证工作流。IEC Certification Kit 中提供了 EN 50128/A2:2020 和 EN 50657:2017 的工作流文档、TÜV 南德证书及其他工具和交付物。
用于开发 EN 50128 和 EN 50657 应用的主要产品包括：
