| dSPACE Magazin 2/2016, Nov 2016 |
Welchen Testaufwand muss man für die Absicherung sicherheitskritischer Systeme treiben? Und wie lassen sich Sicherheitsanforderungen und Aufwand in Einklang bringen? Eine neue Lösung von dSPACE und BTC zur simulations-basierten formalen Verifikation sicherheitskritischer Steuergerätefunktionen bringt Aufwände und Machbarkeit näher zusammen. Dabei wird die erzielbare Testtiefe drastisch erhöht.