Validierung des Zeitverhaltens von kritischer Echtzeit-Software

Viele Steuergerate in modernen Automobilen sind sicherheitsrelevant, wie ABS-, Airbag-, Motoroder Getriebesteuerung. Ein Fehler in diesen Anwendungen kann fatale Folgen fur die Insassen und andere Verkehrsteilnehmer haben. Neue Anwendungen (X-by-Wire, z.B. Lenkung) werden immer komplexer und stellen sehr hohe Anspruche an das zuverlassige Funktionieren der Steuerprogramme. Voraussetzung ist allerdings immer, das das Steuerprogramm korrekt arbeitet. Bei Echtzeitanwendungen hangt die Korrektheit nicht nur vom logischen Ergebnis ab, sondern auch vom Zeitpunkt, wann das Ergebnis geliefert wird. Wenn die richtige Antwort zu spat berechnet wird, kann das schwerwiegende Folgen haben. Die verbreiteten Methoden zur Verbesserung der Programmqualitat wie Definition von Programmentwicklungsprozessen, Einsatz von Testwerkzeugen, Code-Reviews, oder Einsatz von Modellierungswerkzeugen und Code-Generatoren, zielen in der Regel nur auf die logische Korrektheit. Zur Validierung des Zeitverhaltens mus deshalb meistens auf die muhsame und schwierige direkte Laufzeitmessung zuruckgegriffen werden. Die Validierung des Zeitverhaltens ist aus verschiedenen Grunden eine Herausforderung: