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

Alle Nachrichten aus der Kategorie: Messenachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Sicheres Bezahlen ohne Datenspur

Ob als Smartphone-App für die Fahrkarte im Nahverkehr, als Geldwertkarten für das Schwimmbad oder in Form einer Bonuskarte für den Supermarkt: Für viele gehören „elektronische Geldbörsen“ längst zum Alltag. Doch vielen Kunden ist nicht klar, dass sie mit der Nutzung dieser Angebote weitestgehend auf ihre Privatsphäre verzichten. Am Karlsruher Institut für Technologie (KIT) entsteht ein sicheres und anonymes System, das gleichzeitig Alltagstauglichkeit verspricht. Es wird nun auf der Konferenz ACM CCS 2017 in den USA vorgestellt.

Es ist vor allem das fehlende Problembewusstsein, das den Informatiker Andy Rupp von der Arbeitsgruppe „Kryptographie und Sicherheit“ am KIT immer wieder...

Im Focus: Neutron star merger directly observed for the first time

University of Maryland researchers contribute to historic detection of gravitational waves and light created by event

On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...

Im Focus: Breaking: the first light from two neutron stars merging

Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.

Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....

Im Focus: Topologische Isolatoren: Neuer Phasenübergang entdeckt

Physiker des HZB haben an BESSY II Materialien untersucht, die zu den topologischen Isolatoren gehören. Dabei entdeckten sie einen neuen Phasenübergang zwischen zwei unterschiedlichen topologischen Phasen. Eine dieser Phasen ist ferroelektrisch: das bedeutet, dass sich im Material spontan eine elektrische Polarisation ausbildet, die sich durch ein äußeres elektrisches Feld umschalten lässt. Dieses Ergebnis könnte neue Anwendungen wie das Schalten zwischen unterschiedlichen Leitfähigkeiten ermöglichen.

Topologische Isolatoren zeichnen sich dadurch aus, dass sie an ihren Oberflächen Strom sehr gut leiten, während sie im Innern Isolatoren sind. Zu dieser neuen...

Im Focus: Smarte Sensoren für effiziente Prozesse

Materialfehler im Endprodukt können in vielen Industriebereichen zu frühzeitigem Versagen führen und den sicheren Gebrauch der Erzeugnisse massiv beeinträchtigen. Eine Schlüsselrolle im Rahmen der Qualitätssicherung kommt daher intelligenten, zerstörungsfreien Sensorsystemen zu, die es erlauben, Bauteile schnell und kostengünstig zu prüfen, ohne das Material selbst zu beschädigen oder die Oberfläche zu verändern. Experten des Fraunhofer IZFP in Saarbrücken präsentieren vom 7. bis 10. November 2017 auf der Blechexpo in Stuttgart zwei Exponate, die eine schnelle, zuverlässige und automatisierte Materialcharakterisierung und Fehlerbestimmung ermöglichen (Halle 5, Stand 5306).

Bei Verwendung zeitaufwändiger zerstörender Prüfverfahren zieht die Qualitätsprüfung durch die Beschädigung oder Zerstörung der Produkte enorme Kosten nach...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

DFG unterstützt Kongresse und Tagungen - Dezember 2017

17.10.2017 | Veranstaltungen

Intelligente Messmethoden für die Bauwerkssicherheit: Fachtagung „Messen im Bauwesen“ am 14.11.2017

17.10.2017 | Veranstaltungen

Meeresbiologe Mark E. Hay zu Gast bei den "Noblen Gesprächen" am Beutenberg Campus in Jena

16.10.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Sicheres Bezahlen ohne Datenspur

17.10.2017 | Informationstechnologie

Pflanzen gegen Staunässe schützen

17.10.2017 | Biowissenschaften Chemie

Den Trends der Umweltbranche auf der Spur

17.10.2017 | Ökologie Umwelt- Naturschutz