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.
Treiben Sie Innovationen voran. Immer am Puls der Technologieentwicklung.
Abonnieren Sie unser Expertenwissen. Lernen Sie von erfolgreichen Projektbeispielen. Bleiben Sie auf dem neuesten Stand der Simulation und Validierung. Jetzt dSPACE direct und dSPACE direct aeropace & defense abonnieren.