新バージョンBTC EmbeddedPlatform 24.1p0、24.2p0、24.3p0及び全てのPatchは、ドイツのTÜV Südにより、セーフティクリティカルなソフトウェア開発プロジェクトの目的に適合しているとの認証を取得しました。
この認証は、IEC 61508:2010、ISO 26262:2018、EN 50716:2023、IEC 62304:2015、ISO 25119: 2018/AMD1: 2020を含む複数の規格を対象としています。自動車規格ISO 26262については、ASIL Dを含むすべてのASILレベルで有効です。検証ツールとして、BTC EmbeddedPlatformは最高のツール信頼度水準TCL 3に分類されています。
この証明書は、以下を含むBTC EmbeddedPlatformのすべてのユースケースに対応しています。
Requirements-basedテスト
機能要求の準形式記述、形式記述
フォーマルテスト
形式要求からの自動テストケース生成
Back-to-backテスト
形式検証
REST API
この証明書と報告書をお客様のご要望に応じて無償で提供することにより、お客様側でのツール認証対策の労力を大幅に削減することができます。