Dipl.-Inf. Pascal Montag
DaimlerChrysler AG
Group Research / Software Structures (GR/ESS)
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.
Der Vorstand des IVS lädt
hierzu
alle Mitglieder und alle fachlich Interessierten herzlich ein.
Hinweis: Öffentliche Parkplätze
befinden sich entlang des Pfaffenwaldrings
Übersichtsplan
Campus Vaihingen
Letzte Änderung: 03.07.2007 G. Wackenhut