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.
Newsletter abonnieren
Abonnieren Sie unsere Newsletter, oder verwalten oder löschen Sie Ihre Abonnements