Öffentliche Veranstaltung des Informatik Verbunds Stuttgart

Timing Oriented Application Development -
Ein durchgängiger Entwicklungsansatz zur
Zeitverifikation Eingebetteter Echtzeitsysteme

Da Echtzeitsysteme die Einhaltung von Zeitschranken erfordern und besonders für sicherheitsrelevante Funktionen im Automobil von Bedeutung sind, ist die Verifikation derartiger Zeitschranken eine äußerst wichtige Aufgabe. Eine formale Verifikation von Zeitschranken ist bei komplexer Automobil-Software nur durch statische Analysen möglich, die in dem TOAD-Ansatz (Timing Oriented Application Development) als durchgängiger Entwicklungsansatz beschrieben werden. Der Vortrag motiviert diesen Ansatz, beschreibt ihn und geht anhand eines Beispieles (Adaptive Cruise Control) auf die Umsetzung ein.