Moderne Fahrzeuge und Flugzeuge hängen bei vielen Funktionen von sicherheitskritischen eingebetteten Systemen ab, was bei der automatischen Erzeugung robuster und sicherer Systemarchitekturen auch den Einsatz von Werkzeugen der nächsten Generation erfordert.