dSPACE Magazine 2/2016, Nov 2016 |
セーフティクリティカルなシステムの妥当性を確認するには膨大なテストが必要となります。しかし、安全要件を満たしながらそれに必要な開発工数のバランスを取ることも大きな課題です。dSPACEとBTC社は、セーフティクリティカルなECUをシミュレーションベースで形式検証するための新しいソリューションを開発しました。これにより、開発工数を実現可能なレベルにまで近づけることができます。さらには、テスト深度の向上も可能になります。
最新の技術開発動向をつかんで、イノベーションを加速。
メールマガジンの購読希望・変更/配信停止手続き