Keeping an Eye on Safety

セーフティクリティカルなシステムの妥当性を確認するには膨大なテストが必要となります。しかし、安全要件を満たしながらそれに必要な開発工数のバランスを取ることも大きな課題です。dSPACEとBTC社は、セーフティクリティカルなECUをシミュレーションベースで形式検証するための新しいソリューションを開発しました。これにより、開発工数を実現可能なレベルにまで近づけることができます。さらには、テスト深度の向上も可能になります。