Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

IAA PKW 2005 - Fehlerfreie Soft- und Hardware in Auto-Elektronik

08.09.2005


Informatiker führen für automatischen Autonotruf eCall den Beweis, dass Soft- und Hardware garantiert keine Entwurfsfehler enthalten - Thema des 2. Saarbrücker IT-Dialogs "Das 100% sichere Auto aus dem Saarland" auf der IAA PKW 2005 in Frankfurt


Für die Sicherheit von Autos wird immer mehr Elektronik eingesetzt. Leider ist damit jedoch auch die Fehlerquote gestiegen. Laut ADAC sind ein Drittel aller Autopannen auf Mängel in der Elektronik zurückzuführen, rund 80 Prozent davon sind Softwarefehler. Um die aufwändige und teure Suche nach diesen Fehlern zu vermeiden, setzen Forscher im Verisoft-Projekt unter Leitung des Saarbrücker Informatik-Professors Wolfgang Paul schon vor der Produktion an. Sie zeigen, dass die Soft- und Hardware im Fahrzeug exakte Vorgaben erfüllt, die zudem in sich schlüssig sind. Damit wird mit mathematischer Präzision nachgewiesen, dass Soft- und Hardware im Fahrzeug keine Entwurfsfehler enthalten. Zur Zeit kann kein Hersteller solche Sicherheiten garantieren. Die Informatiker um Professor Paul führen anhand des von der Europäischen Union geforderten automatischen Autonotrufs eCall erstmals den dafür notwendigen Beweis. Ihre Forschungsergebnisse stellen die Wissenschaftler am 16. September auf der IAA 2005 in Frankfurt im Rahmen des 2. Saarbrücker IT-Dialogs "Das 100% sichere Auto aus dem Saarland" vor.

Wenn bewiesen wird, dass Computersysteme ihre mathematisch exakten Vorgaben korrekt erfüllen, spricht man von formaler Verifikation. Die Methoden für die formale Verifikation von komplexen Computersystemen, die Soft- und Hardware umfassen, haben Wissenschaftler im Rahmen des Forschungsprojektes Verisoft entwickelt, das seit zwei Jahren vom Bundesministerium für Bildung und Forschung (BMBF) gefördert wird und jetzt aufgrund seines Erfolgs mit weiteren 7,3 Mio. Euro ausgestattet wurde. Die Wissenschaftler des Verisoft-Projekts nehmen derzeit den automatischen Autonotruf eCall als Beispiel für ein komplexes verteiltes System unter die Lupe und packen das Sollverhalten in mathematische Formeln. Diese exakte Modellierung schafft die Grundlage, um nicht nur für die einzelnen Komponenten, sondern sogar deren Zusammenspiel über ein Kommunikationssystem ein fehlerfreies Design nachweisen zu können.


Der automatische Autonotruf eCall soll nach dem Willen der Europäischen Union schon ab 2009 in alle Neuwagen eingebaut werden. Bei einem Unfall wählt das Auto automatisch eine Notrufzentrale an und sendet die genauen Koordinaten des Unfallorts sowie weitere Fahrzeugdaten. Damit dies wie geplant funktioniert, müssen nicht nur zahlreiche Elektroniksysteme, wie Navigationssystem oder Mobiltelefon, im Fahrzeug für sich allein korrekt funktionieren, sondern auch die darauf laufenden Programme fehlerfrei zusammenarbeiten. Für den Autonotruf eCall zeigen die Informatiker um Professor Paul, dass das System im Notfall schnell genug reagiert und auch nur dann einen Notruf sendet, wenn tatsächlich ein Unfall passiert ist. Um dieses Ziel zu erreichen, wird das System in vier Schichten zerlegt, für die man separat bestimmte Eigenschaften zeigt. Die Schichten sind der FlexRay-Bus (das Kommunikationssystem zukünftiger Fahrzeuge), die Prozessoren, ein Osektime-ähnliches Betriebssystem und die Anwendungsprogramme.

"Bisher verwendet die Industrie viel Zeit darauf, Rechnersysteme zu testen, um dabei oft nur kleine Fehler zu entdecken. Sie sucht also sprichwörtlich die Nadel im Heuhaufen. Durch unser Verfahren können wir schon bei der Konstruktion jede auch noch so winzige Nadel im Heuhaufen finden", erläutert Professor Wolfgang Paul. Für die Industrie habe die Verifikation enorme Vorteile. Neue Systeme könnten schneller und günstiger entwickelt werden. Außerdem ersparten sich zum Beispiel die Autohersteller teure Rückrufaktionen wegen Fehlern in der Fahrzeugelektronik. "Hier erhoffen wir uns einen Wettbewerbsvorteil für die bundesdeutsche Industrie, da die hiesige Forschung beim Thema Verifikation weltweit die Nase vorn hat", sagt der Saarbrücker Informatik-Professor.

Das Forschungsprojekt Verisoft wird von Professor Wolfgang Paul an der Universität des Saarlandes sowie Professor Manfred Broy an der TU München geleitet. Die akademischen Partner sind die Universität Koblenz, die Technischen Universitäten Darmstadt und München sowie das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI), das Max-Planck-Institut für Informatik in Saarbrücken und das Oldenburger Forschungs- und Entwicklungsinstitut für Informatikwerkzeuge und -systeme (OFFIS). Industrielle Partner sind die Infineon Technologies AG, die T-Systems International GmbH, die BMW Group AG und die mittelständische AbsInt GmbH.

Der Leiter des Projektmanagements des BMBF-Forschungsprojekts Verisoft, Tom In der Rieden, wird die "Garantiert fehlerfreie Kfz-Elektronik am Beispiel des automatischen Autonotrufs (eCall) " im 2. Saarbrücker IT-Dialog Automobilindustrie auf der IAA PKW 2005 (Congress Center Messe Frankfurt) am 16. September um 11 Uhr 15 vorstellen. Sein Vortrag wird ergänzt durch Dr. Christian Ferdinand, Geschäftsführer der AbsInt Angewandte Informatik GmbH, der über die Frage referieren wird: "Ist Ihr Programm immer schnell genug?". Weitere Informationen gibt es am saarländischen Gemeinschaftsstand (Halle 4.1, Stand E 15). Termine können im Vorfeld der IAA unter Tel. 0681/302-3585 vereinbart werden.

Im 2. Saarbrücker IT-Dialog Automobilindustrie "Das 100 % sichere Auto" geht es außerdem um die photorealistische Visualisierung von Automodellen und um Kommunikations- und Fahrerassistenzsysteme. Das Programm des Symposiums mit Experten aus Wissenschaft und Industrie steht unter: http://www.informatik-saarland.de/001.AktuellTop/

Fragen beantworten Ihnen:

Projektleitung Verisoft
Tom In der Rieden
Tel. 0681/302-3585
Email: idr@cs.uni-saarland.de

Friederike Meyer zu Tittingdorf
Kompetenzzentrum Informatik an der Universität des Saarlandes
Tel. 0681/302-58099
Email: presse@cs.uni-sb.de

Saar - Uni - Presseteam | idw
Weitere Informationen:
http://www.verisoft.de
http://www.informatik-saarland.de/001.AktuellTop/
http://www.informatik-saarland.de

Weitere Berichte zu: Hardware IAA IT-Dialog PKW Saarbrücker Verifikation

Weitere Nachrichten aus der Kategorie Messenachrichten:

nachricht Fraunhofer ESK macht verteilte Anwendungen in der Produktion verlässlich
15.11.2018 | Fraunhofer-Gesellschaft

nachricht 5G sichert Zukunft von Industrie 4.0 – DFKI mit der SmartFactoryKL auf der SPS IPC Drives
13.11.2018 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

Alle Nachrichten aus der Kategorie: Messenachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: InSight: Touchdown auf dem Mars

Am 26. November landet die NASA-Sonde InSight auf dem Mars. Erstmals wird sie die Stärke und Häufigkeit von Marsbeben messen.

Monatelanger Flug durchs All, flammender Abstieg durch die Reibungshitze der Atmosphäre und sanftes Aufsetzen auf der Oberfläche – siebenmal ist das Kunststück...

Im Focus: Weltweit erstmals Entstehung von chemischen Bindungen in Echtzeit beobachtet und simuliert

Einem Team von Physikern unter der Leitung von Prof. Dr. Wolf Gero Schmidt, Universität Paderborn, und Prof. Dr. Martin Wolf, Fritz-Haber-Institut Berlin, ist ein entscheidender Durchbruch gelungen: Sie haben weltweit zum ersten Mal und „in Echtzeit“ die Änderung der Elektronenstruktur während einer chemischen Reaktion beobachtet. Mithilfe umfangreicher Computersimulationen haben die Wissenschaftler die Ursachen und Mechanismen der Elektronenumverteilung aufgeklärt und visualisiert. Ihre Ergebnisse wurden nun in der renommierten, interdisziplinären Fachzeitschrift „Science“ veröffentlicht.

„Chemische Reaktionen sind durch die Bildung bzw. den Bruch chemischer Bindungen zwischen Atomen und den damit verbundenen Änderungen atomarer Abstände...

Im Focus: Rasende Elektronen unter Kontrolle

Die Elektronik zukünftig über Lichtwellen kontrollieren statt Spannungssignalen: Das ist das Ziel von Physikern weltweit. Der Vorteil: Elektromagnetische Wellen des Licht schwingen mit Petahertz-Frequenz. Damit könnten zukünftige Computer eine Million Mal schneller sein als die heutige Generation. Wissenschaftler der Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) sind diesem Ziel nun einen Schritt nähergekommen: Ihnen ist es gelungen, Elektronen in Graphen mit ultrakurzen Laserpulsen präzise zu steuern.

Eine Stromregelung in der Elektronik, die millionenfach schneller ist als heutzutage: Davon träumen viele. Schließlich ist die Stromregelung eine der...

Im Focus: UNH scientists help provide first-ever views of elusive energy explosion

Researchers at the University of New Hampshire have captured a difficult-to-view singular event involving "magnetic reconnection"--the process by which sparse particles and energy around Earth collide producing a quick but mighty explosion--in the Earth's magnetotail, the magnetic environment that trails behind the planet.

Magnetic reconnection has remained a bit of a mystery to scientists. They know it exists and have documented the effects that the energy explosions can...

Im Focus: Eine kalte Supererde in unserer Nachbarschaft

Der sechs Lichtjahre entfernte Barnards Stern beherbergt einen Exoplaneten

Einer internationalen Gruppe von Astronomen unter Beteiligung des Max-Planck-Instituts für Astronomie in Heidelberg ist es gelungen, beim nur sechs Lichtjahre...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Personalisierte Implantologie – 32. Kongress der DGI

19.11.2018 | Veranstaltungen

Internationale Konferenz diskutiert digitale Innovationen für die öffentliche Verwaltung

19.11.2018 | Veranstaltungen

Naturkonstanten als Hauptdarsteller

19.11.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Gen-Radiergummi: Neuer Behandlungsansatz bei chronischen Erkrankungen

19.11.2018 | Biowissenschaften Chemie

Mit maschinellen Lernverfahren Anomalien frühzeitig erkennen und Schäden vermeiden

19.11.2018 | Informationstechnologie

Neuer Stall ermöglicht innovative Forschung für tiergerechte Haltungssysteme

19.11.2018 | Agrar- Forstwissenschaften

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics