新バージョンBTC EmbeddedPlatform 2.9、2.10、2.11は、ドイツのTÜV Südにより、セーフティクリティカルなソフトウェア開発プロジェクトの目的に適合しているとの認証を取得しました。
この認証は、IEC 61508-3:2010、ISO 26262、EN 50128、IEC 62304、ISO 25119を含む複数の規格を対象としています。自動車規格ISO 26262については、ASIL Dを含むすべてのASILレベルで有効です。検証ツールとして、BTC EmbeddedPlatformは最高のツール信頼度水準TCL 3に分類されています。
この証明書は、以下を含むBTC EmbeddedPlatformのすべてのユースケースに対応しています。
Requirements-based Testing
Back-to-Back Test
Code Coverage Analysis
Automatic Test Generation
Robustness Analysis
Formal Specification
Formal Verification
この証明書と報告書をお客様のご要望に応じて無償で提供することにより、お客様側でのツール認証対策の労力を大幅に削減することができます。