Ausgabe 2006 - Universität Koblenz · Landau

TRANSFER
sicherheitskritische Erwartungen an solche Systeme unerlässlich.
In einem Kraftfahrzeug der gehobenen Mittelklasse
arbeiten heutzutage zwischen 60 und 80 Mikro-Computer
zur Unterstützung von Sicherheitssystemen, Fahrerassistenz,
Telematik oder Energiemanagement. Neben offensichtlichen
garantierten Eigenschaften, wie etwa dem Auslösen des Airbags
unter bestimmten Bedingungen, sind aber auch eine
Vielzahl von Konstellationen zu bedenken und zu gewährleisten.
Was zum Beispiel soll passieren, wenn der Fahrer
gerade ein Navigationssystem benutzt, im Radio eine Verkehrsmeldung
eintrifft und gleichzeitig ein Telefonanruf eingeht?
Bei einem solchen Zusammenwirken von verschiedenen
Komponenten können leicht kritische Situationen entstehen,
die Nutzer und Hersteller von Fahrzeugen vermeiden
möchten. In neueren Arbeiten zeigen sich auch interessante
Zusammenhänge zwischen sehr abstrakt formulierten Suchproblemen.
Damit zusammenhängende Ergebnisse aus den
Bereichen Suche und Logik halten neuerdings auch Einzug in
renommierte naturwissenschaftliche Zeitschriften wie Nature.
Kontakt:
Prof. Dr. Ulrich Furbach
E-Mail: uli@uni-koblenz.de
31