長期にわたる手動テストでも挙動空間全体を網羅できない場合、形式手法がエビデンス作成を支援します。
EN 50716Powered by BTC QCore
認証対象
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
今、求められる理由
業界の課題を可視化。
1
鉄道車両と信号システムの長いライフサイクルでは、数十年にわたるリグレッションエビデンスが必要です。
2
信号・車両ソフトウェアの SIL 分類には、継続的で監査可能な検証エビデンスが必要です。
3
鉄道開発におけるツール認定は、従来、時間と工数を要する作業でした。
規格とコンプライアンス
同じ認証取得済みプロセスで EN 50716 に対応。
EN 50716 は BTC TestStack の TÜV SÜD 証明書の対象に含まれます。EN 50126 と EN 50129 は CENELEC の関連規格としてのみ言及でき、ここでの認証対象規格ではありません。
鉄道ソフトウェアのライフサイクル全体を通じて、エビデンスのつながりを維持できます。
再現可能な自動化により、フィードバックループの短縮を目指す鉄道開発プロセスを支援します。
エビデンス
認証によるエビデンスの橋渡し。
エビデンスの根拠は、同一証明書による橋渡しです。EN 50716 は、自動車分野の ASIL D エビデンスを支えるものと同じ証明書の対象です。
EN 50716 · EN 50128 の後継規格
対応環境
この業界で実際に使われているエンジニアリング環境に適合します。
Feel the Quality
EN 50716 に対応する BTC TestStack をご確認ください。
コードベースと適用規格の情報を基に、当社のエンジニアと評価を実施してください。