Formal Verification
パッケージ

BTC EmbeddedPlatformがセーフティクリティカルなソフトウェア開発プロジェクトでの利用に適していることは、ドイツTÜV SÜDによって認証されています。 この認証はIEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304, ISO 25119を含む複数の標準規格に言及しています。 自動車用機能安全規格ISO 26262に関しては、ツール信頼レベルの中で最も高いTCL3で認証を受けており、この認証はASIL-Dを含む全てのASILレベルに対して有効です。 認証書と認証レポートは要望に応じてツールユーザ様に無償で提供しています。この認証書はツール認定(Tool Qualification)に要するお客様側の労力を大きく削減致します。