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 Lasersensoren LAH-G1 – Optische Abstandssensoren mit Messwertanzeige
15.08.2017 | WayCon Positionsmesstechnik GmbH

nachricht WHZ-Wissenschaftler entwickeln Wärmespeicher für Pflanzenwurzeln
11.08.2017 | Westsächsische Hochschule Zwickau

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: Forscher entwickeln maisförmigen Arzneimittel-Transporter zum Inhalieren

Er sieht aus wie ein Maiskolben, ist winzig wie ein Bakterium und kann einen Wirkstoff direkt in die Lungenzellen liefern: Das zylinderförmige Vehikel für Arzneistoffe, das Pharmazeuten der Universität des Saarlandes entwickelt haben, kann inhaliert werden. Professor Marc Schneider und sein Team machen sich dabei die körpereigene Abwehr zunutze: Makrophagen, die Fresszellen des Immunsystems, fressen den gesundheitlich unbedenklichen „Nano-Mais“ und setzen dabei den in ihm enthaltenen Wirkstoff frei. Bei ihrer Forschung arbeiteten die Pharmazeuten mit Forschern der Medizinischen Fakultät der Saar-Uni, des Leibniz-Instituts für Neue Materialien und der Universität Marburg zusammen Ihre Forschungsergebnisse veröffentlichten die Wissenschaftler in der Fachzeitschrift Advanced Healthcare Materials. DOI: 10.1002/adhm.201700478

Ein Medikament wirkt nur, wenn es dort ankommt, wo es wirken soll. Wird ein Mittel inhaliert, muss der Wirkstoff in der Lunge zuerst die Hindernisse...

Im Focus: Exotische Quantenzustände: Physiker erzeugen erstmals optische „Töpfe" für ein Super-Photon

Physikern der Universität Bonn ist es gelungen, optische Mulden und komplexere Muster zu erzeugen, in die das Licht eines Bose-Einstein-Kondensates fließt. Die Herstellung solch sehr verlustarmer Strukturen für Licht ist eine Voraussetzung für komplexe Schaltkreise für Licht, beispielsweise für die Quanteninformationsverarbeitung einer neuen Computergeneration. Die Wissenschaftler stellen nun ihre Ergebnisse im Fachjournal „Nature Photonics“ vor.

Lichtteilchen (Photonen) kommen als winzige, unteilbare Portionen vor. Viele Tausend dieser Licht-Portionen lassen sich zu einem einzigen Super-Photon...

Im Focus: Exotic quantum states made from light: Physicists create optical “wells” for a super-photon

Physicists at the University of Bonn have managed to create optical hollows and more complex patterns into which the light of a Bose-Einstein condensate flows. The creation of such highly low-loss structures for light is a prerequisite for complex light circuits, such as for quantum information processing for a new generation of computers. The researchers are now presenting their results in the journal Nature Photonics.

Light particles (photons) occur as tiny, indivisible portions. Many thousands of these light portions can be merged to form a single super-photon if they are...

Im Focus: Wissenschaftler beleuchten den „anderen Hochtemperatur-Supraleiter“

Eine von Wissenschaftlern des Max-Planck-Instituts für Struktur und Dynamik der Materie (MPSD) geleitete Studie zeigt, dass Supraleitung und Ladungsdichtewellen in Verbindungen der wenig untersuchten Familie der Bismutate koexistieren können.

Diese Beobachtung eröffnet neue Perspektiven für ein vertieftes Verständnis des Phänomens der Hochtemperatur-Supraleitung, ein Thema, welches die Forschung der...

Im Focus: Tests der Quantenmechanik mit massiven Teilchen

Quantenmechanische Teilchen können sich wie Wellen verhalten und mehrere Wege gleichzeitig nehmen, um an ihr Ziel zu gelangen. Dieses Prinzip basiert auf Borns Regel, einem Grundpfeiler der Quantenmechanik; eine mögliche Abweichung hätte weitreichende Folgen und könnte ein Indikator für neue Phänomene in der Physik sein. WissenschafterInnen der Universität Wien und Tel Aviv haben nun diese Regel explizit mit Materiewellen überprüft, indem sie massive Teilchen an einer Kombination aus Einzel-, Doppel- und Dreifachspalten interferierten. Die Analyse bestätigt den Formalismus der etablierten Quantenmechanik und wurde im Journal "Science Advances" publiziert.

Die Quantenmechanik beschreibt sehr erfolgreich das Verhalten von Partikeln auf den kleinsten Masse- und Längenskalen. Die offensichtliche Unvereinbarkeit...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Eröffnung der INC.worX-Erlebniswelt während der Technologie- und Innovationsmanagement-Tagung 2017

16.08.2017 | Veranstaltungen

Sensibilisierungskampagne zu Pilzinfektionen

15.08.2017 | Veranstaltungen

Anbausysteme im Wandel: Europäische Ackerbaubetriebe müssen sich anpassen

15.08.2017 | Veranstaltungen

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

Neue Einblicke in die Welt der Trypanosomen

16.08.2017 | Biowissenschaften Chemie

Maschinensteuerung an Anwender: Intelligentes System für mobile Endgeräte in der Fertigung

16.08.2017 | Informationstechnologie

Komfortable Software für die Genomanalyse

16.08.2017 | Informationstechnologie