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.
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.