dSPACE Magazine 2/2016, Nov 2016 |
セーフティクリティカルなシステムの妥当性を確認するには膨大なテストが必要となります。しかし、安全要件を満たしながらそれに必要な開発工数のバランスを取ることも大きな課題です。dSPACEとBTC社は、セーフティクリティカルなECUをシミュレーションベースで形式検証するための新しいソリューションを開発しました。これにより、開発工数を実現可能なレベルにまで近づけることができます。さらには、テスト深度の向上も可能になります。
Faire avancer l'innovation. Toujours à la pointe de l'évolution technologique.
S’abonner à nos newsletters, gérer ses abonnements ou se désabonner. La newsletter mensuelle contenant toutes les informations liées à l’aéronautique et défense.