鉄道産業における高信頼性システムの開発では、CENELEC 規格 EN 50128 と EN 50657 のいずれか、または両方に準拠していることを実証する必要があります。欧州規格 EN 50128/A2:2020 は、通信、信号、処理システムなどの鉄道の制御および保護アプリケーションで使用する、プログラム可能な電子システム開発の手順と技術要件を規定しています。EN 50657 は 2017 年に発行され、それ以降、鉄道車両に搭載されるソフトウェアの標準規格となっています。

EN 50128/A2:2020 および EN 50657:2017 はどちらも、鉄道安全度水準 (SIL) の機能を 1 から 4 (最も低い厳しさレベルから最も高い厳しさレベルまで)、さらに Basic Integrity (BI) レベル (EN 50128:2011 の SIL 0 に相当) に分類しています。鉄道メーカーとサプライヤーは、ソフトウェア開発プロセスを EN 50128 と EN 50657 に適応させています。

どちらの規格も、ソフトウェア開発全体で使用されるオフライン ソフトウェア ツールのツール分類とツールの適格性確認を義務付けています。Embedded Coder^®、MATLAB および Simulink の検証ツール、Polyspace のコード検証ツールは、EN 50128 および EN 50657 に準拠した TÜV SÜD の評価により適格性確認と認証を受けており、SIL 1 から SIL 4 のアプリケーションをカバーしています。適格性確認は、特定用途向けの検証ワークフローに基づいています。EN 50128/A2:2020 と EN 50657:2017 の両方のワークフロー ドキュメンテーション、TÜV SÜD 認証書、およびその他のツールとアーティファクトは、IEC Certification Kit で提供されます。

EN 50128 および EN 50657 アプリケーション開発向けの主な製品は次のとおりです。

• IEC Certification Kit (for EN 50128 and EN 50657)
• MATLAB
• Simulink
• Stateflow
• Embedded Coder
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Simulink Design Verifier
• MATLAB Test
• Polyspace Bug Finder
• Polyspace Code Prover
• HDL Coder
• System Composer
• Simulink Test