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 Technik, die stärker ist als Schlaglöcher
15.07.2019 | Technische Hochschule Ostwestfalen-Lippe

nachricht MXT Lab: Innovationen für das autonome Fahrerlebnis - das Wohnzimmer im Auto
02.05.2019 | Fraunhofer-Institut für Arbeitswirtschaft und Organisation

Alle Nachrichten aus der Kategorie: Automotive >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Hochgeladenes Ion bahnt den Weg zu neuer Physik

In einer experimentell-theoretischen Gemeinschaftsarbeit hat am Heidelberger MPI für Kernphysik ein internationales Physiker-Team erstmals eine Orbitalkreuzung im hochgeladenen Ion Pr9+ nachgewiesen. Mittels einer Elektronenstrahl-Ionenfalle haben sie optische Spektren aufgenommen und anhand von Atomstrukturrechnungen analysiert. Ein hierfür erwarteter Übergang von nHz-Breite wurde identifiziert und seine Energie mit hoher Präzision bestimmt. Die Theorie sagt für diese „Uhrenlinie“ eine sehr große Empfindlichkeit auf neue Physik und zugleich eine extrem geringe Anfälligkeit gegenüber externen Störungen voraus, was sie zu einem einzigartigen Kandidaten zukünftiger Präzisionsstudien macht.

Laserspektroskopie neutraler Atome und einfach geladener Ionen hat während der vergangenen Jahrzehnte Dank einer Serie technologischer Fortschritte eine...

Im Focus: Highly charged ion paves the way towards new physics

In a joint experimental and theoretical work performed at the Heidelberg Max Planck Institute for Nuclear Physics, an international team of physicists detected for the first time an orbital crossing in the highly charged ion Pr⁹⁺. Optical spectra were recorded employing an electron beam ion trap and analysed with the aid of atomic structure calculations. A proposed nHz-wide transition has been identified and its energy was determined with high precision. Theory predicts a very high sensitivity to new physics and extremely low susceptibility to external perturbations for this “clock line” making it a unique candidate for proposed precision studies.

Laser spectroscopy of neutral atoms and singly charged ions has reached astonishing precision by merit of a chain of technological advances during the past...

Im Focus: Ultrafast stimulated emission microscopy of single nanocrystals in Science

The ability to investigate the dynamics of single particle at the nano-scale and femtosecond level remained an unfathomed dream for years. It was not until the dawn of the 21st century that nanotechnology and femtoscience gradually merged together and the first ultrafast microscopy of individual quantum dots (QDs) and molecules was accomplished.

Ultrafast microscopy studies entirely rely on detecting nanoparticles or single molecules with luminescence techniques, which require efficient emitters to...

Im Focus: Wie Graphen-Nanostrukturen magnetisch werden

Graphen, eine zweidimensionale Struktur aus Kohlenstoff, ist ein Material mit hervorragenden mechanischen, elektronischen und optischen Eigenschaften. Doch für magnetische Anwendungen schien es bislang nicht nutzbar. Forschern der Empa ist es gemeinsam mit internationalen Partnern nun gelungen, ein in den 1970er Jahren vorhergesagtes Molekül zu synthetisieren, welches beweist, dass Graphen-Nanostrukturen in ganz bestimmten Formen magnetische Eigenschaften aufweisen, die künftige spintronische Anwendungen erlauben könnten. Die Ergebnisse sind eben im renommierten Fachmagazin Nature Nanotechnology erschienen.

Graphen-Nanostrukturen (auch Nanographene genannt) können, je nach Form und Ausrichtung der Ränder, ganz unterschiedliche Eigenschaften besitzen - zum Beispiel...

Im Focus: How to induce magnetism in graphene

Graphene, a two-dimensional structure made of carbon, is a material with excellent mechanical, electronic and optical properties. However, it did not seem suitable for magnetic applications. Together with international partners, Empa researchers have now succeeded in synthesizing a unique nanographene predicted in the 1970s, which conclusively demonstrates that carbon in very specific forms has magnetic properties that could permit future spintronic applications. The results have just been published in the renowned journal Nature Nanotechnology.

Depending on the shape and orientation of their edges, graphene nanostructures (also known as nanographenes) can have very different properties – for example,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Analyse internationaler Finanzmärkte

10.12.2019 | Veranstaltungen

QURATOR 2020 – weltweit erste Konferenz für Kuratierungstechnologien

04.12.2019 | Veranstaltungen

Die Zukunft der Arbeit

03.12.2019 | Veranstaltungen

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

Verbesserte Architekturgläser durch Plasmabehandlung – Reinigung, Vorbehandlung & Haftungssteigerung

11.12.2019 | Architektur Bauwesen

Beleuchtung von Höhlen vertreibt Fledermäuse – die Farbe des Lichts spielt nur untergeordnete Rolle

11.12.2019 | Biowissenschaften Chemie

„Daten sind Macht“: be top Magazin mit neuer Ausgabe

11.12.2019 | Unternehmensmeldung

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