Dynamische Adaption für die Entwicklung verlässlicher Softwaresysteme im Automobil

An Softwaresysteme im Automobil werden hohe Qualitätsansprüche gestellt. Auf der anderen Seite müssen Systeme im Automobilbereich kosteneffizient entwickelt werden. Um sichere und verlässliche Systeme auch ohne teure Redundanzen entwickeln zu können, werden vermehrt so genannte adaptive Systeme eingesetzt, die ihre Funktionalität bei einem Komponentenausfall so anpassen, dass mit den verbleibenden Komponenten solange wie möglich zumindest noch eine eingeschränkte Funktionalität aufrechterhalten werden kann. In diesem Beitrag zeigen wir, wie sich die dynamische Adaption zur kosteneffizienten Entwicklung verlässlicher Software für das Automobil einsetzen lässt. Dabei stellen wir insbesondere eine am Fraunhofer IESE definierte Methode zur Entwicklung verlässlicher, adaptiver eingebetteter Systeme vor. Diese Methode erlaubt es das Adaptionsverhalten eingebetteter Systeme formal zu spezifizieren und bereits zur Entwurfszeit vollständig zu simulieren, zu analysieren und zu verifizieren.