モデルベースコードと手書きコードを、一つのエビデンスワークフローで検証できます。
ISO 25119Powered by BTC QCore
認証対象
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
今、求められる理由
業界の課題を可視化。
1
農業機械では電動化と自動化が急速に進み、自動車の SDV 化と同様にソフトウェアの比率が高まっています。
2
季節ごとの開発サイクルでは、新しいファームウェアの展開前に手動で再テストする余裕がほとんどありません。
3
過酷な運用環境では、ソフトウェア更新のたびに、リグレッションに対する安全性確保の要求が高まります。
規格とコンプライアンス
同じ認証取得済みプロセスで ISO 25119 に対応。
ISO 25119 は、ASIL D までの ISO 26262 と同じ TÜV SÜD 証明書の対象です。AgPL エビデンスのために、別途ツール認定を行う必要はありません。
形式手法は、高コストなフィールドテストのカバレッジだけに依存する度合いの軽減に役立ちます。
要求から検証結果までつながるエビデンスチェーンが、AgPL 監査を支援します。
エビデンス
認証によるエビデンスの橋渡し。
エビデンスの根拠は、自動車分野の ASIL D 実務から ISO 25119 へエビデンスをつなぐ、証明書による橋渡しです。
ISO 25119 · AgPL a-e
対応環境
この業界で実際に使われているエンジニアリング環境に適合します。
Feel the Quality
ISO 25119 に対応する BTC TestStack をご確認ください。
コードベースと適用規格の情報を基に、当社のエンジニアと評価を実施してください。