Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Saarbrücker Informatiker machen Elektronik im Auto sicherer

10.02.2006


Werkzeuge zur Qualitätssicherung von eingebetteten Systemen werden auf der Messe "Embedded World" in Nürnberg vorgestellt

... mehr zu:
»Airbag »Saarbrücker »Werkzeug »World

In Autos werden Airbags, Türschlosse oder Bremssysteme durch Rechner gesteuert. Diese müssen pünktlich reagieren, sonst verfehlen sie ihre Aufgabe. Man kann jedoch nur mit hohem Aufwand feststellen, wie lange ein eingebettetes System braucht, bis es seine Aufgabe gelöst hat. Informatiker an der Universität des Saarlandes haben dafür ein Programm entwickelt, das den Praxistest in der Flugzeug- und der Autoindustrie schon bestanden hat. Es wird jetzt auf einer der größten internationalen Fachmessen für Eingebettete Systeme, der "Embedded World", vom 14. bis 16. Februar 2006 in Nürnberg vorgestellt.

Embedded systems, "Eingebettete Systeme", nennen die Ingenieure Rechnersysteme, mit denen Geräte und Maschinen gesteuert werden. Diese Mikro-Computer sind in Mikrowellengeräten, CD-Playern und Herzschrittmachern zu finden, in großer Zahl auch in Autos und Flugzeugen. Meist ist ein Rechner nur einer einzigen Aufgabe gewidmet. Diese muss er aber zuverlässig und pünktlich erfüllen. Ein Airbag sollte zum Beispiel nicht bei Tempo 100 einfach aufgehen, sondern nur, wenn Sensoren einen Aufprall festgestellt haben. Dann aber im Bruchteil von Sekunden. Die Garantie für die Pünktlichkeit der Reaktion der Computerprogramme stellt die Entwickler in der Automobilindustrie und anderen sicherheitskritischen Branchen immer noch vor große Probleme. Informatiker an der Universität des Saarlandes haben in Kooperation mit EADS Airbus eine Software entwickelt, die solche Laufzeitgarantien abgibt. Sie kann auf der Basis beweisbar korrekter Methoden vorhersagen, wann ein Computer in einem eingebetteten System seine Aufgabe spätestens ausgeführt hat.


Der aiT-Laufzeit-Analysator ist weltweit das erste Werkzeug, das automatisch das korrekte Zeitverhalten von Software in eingebetteten Systemen garantieren kann. Für seine Entwicklung wurden die Mitarbeiter der AbsInt Angewandte Informatik GmbH (http://www.absint.de) mit dem europäischen IST-Preis 2004, dem bedeutendsten Wissenschaftspreis der Europäischen Union, ausgezeichnet. Die Absint GmbH ist aus dem Saarbrücker Lehrstuhl für Programmiersprachen hervorgegangen und hat ihren Sitz im Science Park neben dem Campus der Universität des Saarlandes. Auf der Fachmesse "Embedded World" in Nürnberg vom 22. bis 24. Februar präsentiert die AbsInt GmbH verschiedene innovative Werkzeuge für die Programmanalyse und Programmoptimierung.

Technischer Hintergrund:

aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Realzeitsysteme und stellt so sicher, dass Programme unter allen Umständen schnell genug reagieren. Es ist weltweit das erste Werkzeug, das automatisch das korrekte Zeitverhalten von Software in eingebetteten Systemen gewährleisten kann.

aiT basiert auf einer statischen Analyse des Cache- und Pipeline-Verhaltens einzelner Tasks. Es berechnet korrekte und präzise obere Schranken für die längstmögliche Ausführungszeit. Diese Schranken gelten für alle Eingaben und jede mögliche Taskausführung. Die verbreiteten, aber fehlerträchtigen und zeitraubenden Meßverfahren können verkürzt oder ersetzt werden. Das erhöht die Systemsicherheit und trägt zu einer Kostenreduktion bei. Die präzisen Laufzeitschranken ermöglichen eine bessere Systemauslastung ohne Kompromisse bei der Sicherheit. aiT unterstützt die folgenden Prozessoren: ARM7, Motorola Star12/HCS12, PowerPC 555 und 565, Motorola Coldfire 5307, Texas Instruments TMS320C3x sowie C16x und ST10. aiT für TriCore ist derzeit in Entwicklung.

Der StackAnalyzer berechnet automatisch den maximalen Stackverbrauch von eingebetteten Anwendungen für jeden Programmpunkt. Die Ergebnisse werden anschaulich im Aufruf- und Kontrollflussgraphen repräsentiert. Laufzeitfehler wegen Stack Overflow gehören somit der Vergangenheit an. StackAnalyzer unterstützt die folgenden Prozessoren: C16x, ST10, PowerPC, ARM, TMS320C3x, Motorola M68HC12-STAR12-HCS12, Intel x86 (restricted), NEC V850 und H8/300 + H8S/2x00.

Fragen beantworten Ihnen:

Prof. Dr. Reinhard Wilhelm
Tel.: 0681/302-3434
Email: wilhelm@cs.uni-sb.de

oder

Friederike Meyer zu Tittingdorf
Tel. 0681/302-58099
Email: presse@cs.uni-sb.de

Saar - Uni - Presseteam | idw
Weitere Informationen:
http://www.uni-saarland.de
http://www.absint.de

Weitere Berichte zu: Airbag Saarbrücker Werkzeug World

Weitere Nachrichten aus der Kategorie Automotive:

nachricht RFID-Technologie: Digitalisierung in der Automobilproduktion
02.01.2018 | Fraunhofer-Institut für Fabrikbetrieb und -automatisierung IFF

nachricht Wenn dein Auto weiß, wie du dich fühlst
20.12.2017 | FZI Forschungszentrum Informatik am Karlsruher Institut für Technologie

Alle Nachrichten aus der Kategorie: Automotive >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Optisches Nanoskop ermöglicht Abbildung von Quantenpunkten

Physiker haben eine lichtmikroskopische Technik entwickelt, mit der sich Atome auf der Nanoskala abbilden lassen. Das neue Verfahren ermöglicht insbesondere, Quantenpunkte in einem Halbleiter-Chip bildlich darzustellen. Dies berichten die Wissenschaftler des Departements Physik und des Swiss Nanoscience Institute der Universität Basel zusammen mit Kollegen der Universität Bochum in «Nature Photonics».

Mikroskope machen Strukturen sichtbar, die dem menschlichen Auge sonst verborgen blieben. Einzelne Moleküle und Atome, die nur Bruchteile eines Nanometers...

Im Focus: Optical Nanoscope Allows Imaging of Quantum Dots

Physicists have developed a technique based on optical microscopy that can be used to create images of atoms on the nanoscale. In particular, the new method allows the imaging of quantum dots in a semiconductor chip. Together with colleagues from the University of Bochum, scientists from the University of Basel’s Department of Physics and the Swiss Nanoscience Institute reported the findings in the journal Nature Photonics.

Microscopes allow us to see structures that are otherwise invisible to the human eye. However, conventional optical microscopes cannot be used to image...

Im Focus: Vollmond-Dreierlei am 31. Januar 2018

Am 31. Januar 2018 fallen zum ersten Mal seit dem 30. Dezember 1982 "Supermond" (ein Vollmond in Erdnähe), "Blutmond" (eine totale Mondfinsternis) und "Blue Moon" (ein zweiter Vollmond im Kalendermonat) zusammen - Beobachter im deutschen Sprachraum verpassen allerdings die sichtbaren Phasen der Mondfinsternis.

Nach den letzten drei Vollmonden am 4. November 2017, 3. Dezember 2017 und 2. Januar 2018 ist auch der bevorstehende Vollmond am 31. Januar 2018 ein...

Im Focus: Maschinelles Lernen im Quantenlabor

Auf dem Weg zum intelligenten Labor präsentieren Physiker der Universitäten Innsbruck und Wien ein lernfähiges Programm, das eigenständig Quantenexperimente entwirft. In ersten Versuchen hat das System selbständig experimentelle Techniken (wieder)entdeckt, die heute in modernen quantenoptischen Labors Standard sind. Dies zeigt, dass Maschinen in Zukunft auch eine kreativ unterstützende Rolle in der Forschung einnehmen könnten.

In unseren Taschen stecken Smartphones, auf den Straßen fahren intelligente Autos, Experimente im Forschungslabor aber werden immer noch ausschließlich von...

Im Focus: Artificial agent designs quantum experiments

On the way to an intelligent laboratory, physicists from Innsbruck and Vienna present an artificial agent that autonomously designs quantum experiments. In initial experiments, the system has independently (re)discovered experimental techniques that are nowadays standard in modern quantum optical laboratories. This shows how machines could play a more creative role in research in the future.

We carry smartphones in our pockets, the streets are dotted with semi-autonomous cars, but in the research laboratory experiments are still being designed by...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks Industrie & Wirtschaft
Veranstaltungen

15. BF21-Jahrestagung „Mobilität & Kfz-Versicherung im Fokus“

23.01.2018 | Veranstaltungen

Gemeinsam innovativ werden

23.01.2018 | Veranstaltungen

Leichtbau zu Ende gedacht – Herausforderung Recycling

23.01.2018 | Veranstaltungen

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

15. BF21-Jahrestagung „Mobilität & Kfz-Versicherung im Fokus“

23.01.2018 | Veranstaltungsnachrichten

Gemeinsam innovativ werden

23.01.2018 | Veranstaltungsnachrichten

CES Innovation Award für kombinierte Blick- und Spracheingabe im Auto

23.01.2018 | Förderungen Preise

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