Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Immer schnell genug? Saarbrücker Informatiker haben Vorsprung bei Zeitanalyse

13.12.2006
Internationale Vergleichsstudie von Werkzeugen zur Zeitanalyse von Computerprogrammen im European Network of Excellence "Artist 2"

Die Sicherheit in Autos, Zügen oder Flugzeugen hängt heute ganz wesentlich von der elektronischen Steuerung ab. Damit die Airbags und Bremssysteme im Auto oder die Steuerung im Flugzeug zuverlässig funktionieren, müssen viele kleine Rechner fehlerfrei zusammenarbeiten. Dabei kommt es vor allem auf die Pünktlichkeit an, denn wenn die Steuerungsrechner zu langsam reagieren, kann dies dramatische Folgen haben.

Man kann jedoch nur mit hohem Aufwand feststellen, wie lange ein so genanntes "eingebettetes" System braucht, bis es seine Aufgabe gelöst hat. Informatiker an der Universität des Saarlandes und der Spinoff-Firma AbsInt Angewandte Informatik GmbH haben dafür ein Werkzeug entwickelt, das jetzt im internationalen Wettbewerb mit mehreren Firmen und Universitäten seinen Vorsprung wieder zeigen konnte.

Am Lehrstuhl für fehlertolerante Systeme der Universität Duisburg-Essen wurden im Auftrag des European Network of Excellence "Artist 2" die besten Werkzeuge für die Bestimmung des Zeitverhaltens von Programmen (Worst Case Execution Timing Analysis (WCET)) verglichen. An dem Wettbewerb beteiligten sich neben der Saarbrücker Firma AbsInt die Mälardalen University (Schweden), die Technische Universität Wien, die National University of Singapore und die Firma Tidorum (Finnland). Der aiT-Laufzeit-Analysator, der von Informatikern der AbsInt Angewandte Informatik GmbH in Zusammenarbeit mit der Universität des Saarlandes entwickelt wurde, hat dabei herausragend abgeschnitten.

... mehr zu:
»AbsInt »Zeitanalyse »Zeitverhalten

Die Ergebnisse des Wettbewerbs (WCET Tool Challenge 2006) wird Lili Tan, wissenschaftliche Mitarbeiterin an der Universität Duisburg-Essen, in einem Vortrag an der Universität des Saarlandes am Freitag, den 16. Dezember, um 14.00 Uhr (Informatik-Gebäude E 1.3, Seminarraum 15) vorstellen.

"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 und der Firma AbsInt haben daher 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 (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.

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.

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.informatik-saarland.de
http://www.absint.com

Weitere Berichte zu: AbsInt Zeitanalyse Zeitverhalten

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Maschinelles Lernen: Neue Methode ermöglicht genaue Extrapolation
13.07.2018 | Institute of Science and Technology Austria

nachricht Gegen das Verblassen historischer Dokumente
11.07.2018 | Hochschule für Technik, Wirtschaft und Kultur Leipzig

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Diamant – ein unverzichtbarer Werkstoff der Fusionstechnologie

Forscher am KIT entwickeln Fenstereinheiten mit Diamantscheiben für Fusionsreaktoren – Neue Scheibe mit Rekorddurchmesser von 180 Millimetern

Klimafreundliche und fast unbegrenzte Energie aus dem Fusionskraftwerk – für dieses Ziel kooperieren Wissenschaftlerinnen und Wissenschaftler weltweit. Bislang...

Im Focus: Wiener Forscher finden vollkommen neues Konzept zur Messung von Quantenverschränkung

Quantenphysiker/innen der ÖAW entwickelten eine neuartige Methode für den Nachweis von hochdimensional verschränkten Quantensystemen. Diese ermöglicht mehr Effizienz, Sicherheit und eine weitaus geringere Fehleranfälligkeit gegenüber bisher gängigen Mess-Methoden, wie die Forscher/innen nun im Fachmagazin „Nature Physics“ berichten.

Die Vision einer vollständig abhörsicheren Übertragung von Information rückt dank der Verschränkung von Quantenteilchen immer mehr in Reichweite. Wird eine...

Im Focus: Was passiert, wenn wir das Atomgitter eines Magneten plötzlich aufheizen?

„Wir haben jetzt ein klares Bild davon, wie das heiße Atomgitter und die kalten magnetischen Spins eines ferrimagnetischen Nichtleiters miteinander ins Gleichgewicht gelangen“, sagt Ilie Radu, Wissenschaftler am Max-Born-Institut in Berlin. Das internationale Forscherteam fand heraus, dass eine Energieübertragung sehr schnell stattfindet und zu einem neuartigen Zustand der Materie führt, in dem die Spins zwar heiß sind, aber noch nicht ihr gesamtes magnetisches Moment verringert haben. Dieser „Spinüberdruck“ wird durch wesentlich langsamere Prozesse abgebaut, die eine Abgabe von Drehimpuls an das Gitter ermöglichen. Die Forschungsergebnisse sind jetzt in "Science Advances" erschienen.

Magnete faszinieren die Menschheit bereits seit mehreren tausend Jahren und sind im Zeitalter der digitalen Datenspeicherung von großer praktischer Bedeutung....

Im Focus: Erste Beweise für Quelle extragalaktischer Teilchen

Zum ersten Mal ist es gelungen, die kosmische Herkunft höchstenergetischer Neutrinos zu bestimmen. Eine Forschungsgruppe um IceCube-Wissenschaftlerin Elisa Resconi, Sprecherin des Sonderforschungsbereichs SFB1258 an der Technischen Universität München (TUM), liefert ein wichtiges Indiz in der Beweiskette, dass die vom Neutrino-Teleskop IceCube am Südpol detektierten Teilchen mit hoher Wahrscheinlichkeit von einer Galaxie in vier Milliarden Lichtjahren Entfernung stammen.

Um andere Ursprünge mit Gewissheit auszuschließen, untersuchte das Team um die Neutrino-Physikerin Elisa Resconi von der TU München und den Astronom und...

Im Focus: First evidence on the source of extragalactic particles

For the first time ever, scientists have determined the cosmic origin of highest-energy neutrinos. A research group led by IceCube scientist Elisa Resconi, spokesperson of the Collaborative Research Center SFB1258 at the Technical University of Munich (TUM), provides an important piece of evidence that the particles detected by the IceCube neutrino telescope at the South Pole originate from a galaxy four billion light-years away from Earth.

To rule out other origins with certainty, the team led by neutrino physicist Elisa Resconi from the Technical University of Munich and multi-wavelength...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Wie geht es unserer Ostsee? Ein aktueller Zustandsbericht

17.07.2018 | Veranstaltungen

Interdisziplinäre Konferenz: Diabetesforscher und Bioingenieure diskutieren Forschungskonzepte

13.07.2018 | Veranstaltungen

Conference on Laser Polishing – LaP: Feintuning für Oberflächen

12.07.2018 | Veranstaltungen

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

Optische Kontrolle von Herzfrequenz oder Insulinsekretion durch lichtschaltbaren Wirkstoff

17.07.2018 | Biowissenschaften Chemie

Umweltressourcen nachhaltig nutzen

17.07.2018 | Ökologie Umwelt- Naturschutz

Textilien 4.0: Smarte Kleidung und Wearables als Innovation

17.07.2018 | Innovative Produkte

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