Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Fehlerfreie Soft- und Hardware in Autoelektronik

13.09.2005


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 % davon sind Softwarefehler. Um die aufwendige 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 mathematisch exakte Vorgaben erfüllt, die zudem in sich schlüssig sind. Damit wird auf mathematische Art nachgewiesen, dass Soft- und Hardware im Fahrzeug keine logischen 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.



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 die Wissenschaftler im Rahmen des Forschungsprojektes Verisoft entwickelt. Sie nehmen derzeit den automatischen Autonotruf eCall als Beispiel für ein komplexes verteiltes System unter die Lupe und packen alle Abläufe in mathematische Formeln. Diese exakte Modellierung schafft die Grundlage, um für die einzelnen Komponenten sowie deren Zusammenspiel über ein Kommunikationssystem ein fehlerfreies Design nachweisen zu können.



Der automatische Autonotruf eCall soll nach dem Willen der Europäischen Union und der Automobilindustrie 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 Prozessoren 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, dass das System 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, die Betriebssysteme 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 Störungen in der Fahrzeugelektronik.

Kontakt:

Tom in der Rieden
Verisoft
Postfach 151150
66041 Saarbrücken
Tel.: 06 81/3 02-35 85
Fax: 06 81/3 02-41 32
E-Mail: idr@cs.uni-saarland.de

Tom in der Rieden | Innovationseinblicke Saarland
Weitere Informationen:
http://www.cs.uni-saarland.de
http://www.innovation.saarland.de

Weitere Berichte zu: Autonotruf Kommunikationssystem Verifikation

Weitere Nachrichten aus der Kategorie Energie und Elektrotechnik:

nachricht Wie Protonen durch eine Brennstoffzelle wandern
22.06.2017 | Empa - Eidgenössische Materialprüfungs- und Forschungsanstalt

nachricht Omicron Diodenlaser mit höherer Ausgangsleistung und erweiterter Garantie
20.06.2017 | Omicron - Laserage Laserprodukte GmbH

Alle Nachrichten aus der Kategorie: Energie und Elektrotechnik >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Can we see monkeys from space? Emerging technologies to map biodiversity

An international team of scientists has proposed a new multi-disciplinary approach in which an array of new technologies will allow us to map biodiversity and the risks that wildlife is facing at the scale of whole landscapes. The findings are published in Nature Ecology and Evolution. This international research is led by the Kunming Institute of Zoology from China, University of East Anglia, University of Leicester and the Leibniz Institute for Zoo and Wildlife Research.

Using a combination of satellite and ground data, the team proposes that it is now possible to map biodiversity with an accuracy that has not been previously...

Im Focus: Klima-Satellit: Mit robuster Lasertechnik Methan auf der Spur

Hitzewellen in der Arktis, längere Vegetationsperioden in Europa, schwere Überschwemmungen in Westafrika – mit Hilfe des deutsch-französischen Satelliten MERLIN wollen Wissenschaftler ab 2021 die Emissionen des Treibhausgases Methan auf der Erde erforschen. Möglich macht das ein neues robustes Lasersystem des Fraunhofer-Instituts für Lasertechnologie ILT in Aachen, das eine bisher unerreichte Messgenauigkeit erzielt.

Methan entsteht unter anderem bei Fäulnisprozessen. Es ist 25-mal wirksamer als das klimaschädliche Kohlendioxid, kommt in der Erdatmosphäre aber lange nicht...

Im Focus: Climate satellite: Tracking methane with robust laser technology

Heatwaves in the Arctic, longer periods of vegetation in Europe, severe floods in West Africa – starting in 2021, scientists want to explore the emissions of the greenhouse gas methane with the German-French satellite MERLIN. This is made possible by a new robust laser system of the Fraunhofer Institute for Laser Technology ILT in Aachen, which achieves unprecedented measurement accuracy.

Methane is primarily the result of the decomposition of organic matter. The gas has a 25 times greater warming potential than carbon dioxide, but is not as...

Im Focus: How protons move through a fuel cell

Hydrogen is regarded as the energy source of the future: It is produced with solar power and can be used to generate heat and electricity in fuel cells. Empa researchers have now succeeded in decoding the movement of hydrogen ions in crystals – a key step towards more efficient energy conversion in the hydrogen industry of tomorrow.

As charge carriers, electrons and ions play the leading role in electrochemical energy storage devices and converters such as batteries and fuel cells. Proton...

Im Focus: Die Schweiz in Pole-Position in der neuen ESA-Mission

Die Europäische Weltraumagentur ESA gab heute grünes Licht für die industrielle Produktion von PLATO, der grössten europäischen wissenschaftlichen Mission zu Exoplaneten. Partner dieser Mission sind die Universitäten Bern und Genf.

Die Europäische Weltraumagentur ESA lanciert heute PLATO (PLAnetary Transits and Oscillation of stars), die grösste europäische wissenschaftliche Mission zur...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Von Batterieforschung bis Optoelektronik

23.06.2017 | Veranstaltungen

10. HDT-Tagung: Elektrische Antriebstechnologie für Hybrid- und Elektrofahrzeuge

22.06.2017 | Veranstaltungen

„Fit für die Industrie 4.0“ – Tagung von Hochschule Darmstadt und Schader-Stiftung am 27. Juni

22.06.2017 | Veranstaltungen

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

Radioaktive Elemente in Cassiopeia A liefern Hinweise auf Neutrinos als Ursache der Supernova-Explosion

23.06.2017 | Physik Astronomie

Dünenökosysteme modellieren

23.06.2017 | Ökologie Umwelt- Naturschutz

Makro-Mikrowelle macht Leichtbau für Luft- und Raumfahrt effizienter

23.06.2017 | Materialwissenschaften