手書きコードとモデルベース部分が混在する開発でも、一つのワークフローで双方を扱います。
IEC 61508-3Powered by BTC QCore
認証対象
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
今、求められる理由
業界の課題を可視化。
1
機械・プラントの制御ソフトウェアは、既存のテストプロセスを上回る速度で大規模化しています。
2
お客様や認証機関から SIL エビデンスを求められる機会が増え、ツール認定がボトルネックになっています。
3
混在するコードベースでは、手書き C/C++ とモデルベース部分が、一貫した検証ワークフローなしに組み合わされています。
規格とコンプライアンス
同じ認証取得済みプロセスで IEC 61508-3 に対応。
BTC TestStack の TÜV SÜD 証明書は IEC 61508-3 を対象としています。自動車の ASIL D エビデンスを支える同じ証明書を、産業オートメーションの SIL エビデンスにも使用できます。
手作業によるサンプリングで挙動空間全体を網羅できない場合、決定論的なモデル検査がエビデンス作成を支援します。
リリースサイクルが短期化する中、機械・プラントソフトウェアのパイプラインで検証を自動化できます。
エビデンス
認証によるエビデンスの橋渡し。
エビデンスの根拠は、証明書による橋渡しです。自動車の ASIL D エビデンスに用いられる手法の認証は、IEC 61508-3 も対象としています。
IEC 61508-3 · SIL 1-3
対応環境
この業界で実際に使われているエンジニアリング環境に適合します。
Feel the Quality
IEC 61508-3 に対応する BTC TestStack をご確認ください。
コードベースと適用規格の情報を基に、当社のエンジニアと評価を実施してください。