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 Wichtige Schritte auf dem Weg zum automatisierten Fahren
29.03.2018 | Universität Bremen

nachricht Es wird noch heller: Innovative Leuchten in der Automobilindustrie
28.03.2018 | Technische Hochschule Nürnberg Georg Simon Ohm

Alle Nachrichten aus der Kategorie: Automotive >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Wie Magnetismus entsteht: Elektronen stärker verbunden als gedacht

Wieso sind manche Metalle magnetisch? Diese einfache Frage ist wissenschaftlich gar nicht so leicht fundiert zu beantworten. Das zeigt eine aktuelle Arbeit von Wissenschaftlern des Forschungszentrums Jülich und der Universität Halle. Den Forschern ist es zum ersten Mal gelungen, in einem magnetischen Material, in diesem Fall Kobalt, die Wechselwirkung zwischen einzelnen Elektronen sichtbar zu machen, die letztlich zur Ausbildung der magnetischen Eigenschaften führt. Damit sind erstmals genaue Einblicke in den elektronischen Ursprung des Magnetismus möglich, die vorher nur auf theoretischem Weg zugänglich waren.

Für ihre Untersuchung nutzten die Forscher ein spezielles Elektronenmikroskop, das das Forschungszentrum Jülich am Elettra-Speicherring im italienischen Triest...

Im Focus: Erstmals gemessen: Wie lange dauert ein Quantensprung?

Mit Hilfe ausgeklügelter Experimente und Berechnungen der TU Wien ist es erstmals gelungen, die Dauer des berühmten photoelektrischen Effekts zu messen.

Es war eines der entscheidenden Experimente für die Quantenphysik: Wenn Licht auf bestimmte Materialien fällt, werden Elektronen aus der Oberfläche...

Im Focus: Scientists present new observations to understand the phase transition in quantum chromodynamics

The building blocks of matter in our universe were formed in the first 10 microseconds of its existence, according to the currently accepted scientific picture. After the Big Bang about 13.7 billion years ago, matter consisted mainly of quarks and gluons, two types of elementary particles whose interactions are governed by quantum chromodynamics (QCD), the theory of strong interaction. In the early universe, these particles moved (nearly) freely in a quark-gluon plasma.

This is a joint press release of University Muenster and Heidelberg as well as the GSI Helmholtzzentrum für Schwerionenforschung in Darmstadt.

Then, in a phase transition, they combined and formed hadrons, among them the building blocks of atomic nuclei, protons and neutrons. In the current issue of...

Im Focus: Der Truck der Zukunft

Lastkraftwagen (Lkw) sind für den Gütertransport auch in den kommenden Jahrzehnten unverzichtbar. Wissenschaftler und Wissenschaftlerinnen der Technischen Universität München (TUM) und ihre Partner haben ein Konzept für den Truck der Zukunft erarbeitet. Dazu zählen die europaweite Zulassung für Lang-Lkw, der Diesel-Hybrid-Antrieb und eine multifunktionale Fahrerkabine.

Laut der Prognose des Bundesministeriums für Verkehr und digitale Infrastruktur wird der Lkw-Güterverkehr bis 2030 im Vergleich zu 2010 um 39 Prozent steigen....

Im Focus: Extrem klein und schnell: Laser zündet heißes Plasma

Feuert man Lichtpulse aus einer extrem starken Laseranlage auf Materialproben, reißt das elektrische Feld des Lichts die Elektronen von den Atomkernen ab. Für Sekundenbruchteile entsteht ein Plasma. Dabei koppeln die Elektronen mit dem Laserlicht und erreichen beinahe Lichtgeschwindigkeit. Beim Herausfliegen aus der Materialprobe ziehen sie die Atomrümpfe (Ionen) hinter sich her. Um diesen komplexen Beschleunigungsprozess experimentell untersuchen zu können, haben Forscher aus dem Helmholtz-Zentrum Dresden-Rossendorf (HZDR) eine neuartige Diagnostik für innovative laserbasierte Teilchenbeschleuniger entwickelt. Ihre Ergebnisse erscheinen jetzt in der Fachzeitschrift „Physical Review X“.

„Unser Ziel ist ein ultrakompakter Beschleuniger für die Ionentherapie, also die Krebsbestrahlung mit geladenen Teilchen“, so der Physiker Dr. Thomas Kluge vom...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

4. BF21-Jahrestagung „Car Data – Telematik – Mobilität – Fahrerassistenzsysteme – Autonomes Fahren – eCall – Connected Car“

21.09.2018 | Veranstaltungen

Forum Additive Fertigung: So gelingt der Einstieg in den 3D-Druck

21.09.2018 | Veranstaltungen

12. BusinessForum21-Kongress „Aktives Schadenmanagement"

20.09.2018 | Veranstaltungen

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

Neue CBMC-Geräteschutzschaltervarianten

22.09.2018 | Energie und Elektrotechnik

ISO-27001-Zertifikat für die GFOS mbH und die GFOS Technologieberatung GmbH

21.09.2018 | Unternehmensmeldung

Kundenindividuelle Steckverbinder online konfigurieren und bestellen

21.09.2018 | Energie und Elektrotechnik

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