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 Vom Gehirn zur Robotik: Algorithmen verarbeiten Sensordaten wie das Gehirn
25.09.2017 | Universität Ulm

nachricht Ein stabiles magnetisches Bit aus drei Atomen
21.09.2017 | Sonderforschungsbereich 668

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: LaserTAB: Effizientere und präzisere Kontakte dank Roboter-Kollaboration

Auf der diesjährigen productronica in München stellt das Fraunhofer-Institut für Lasertechnik ILT das Laser-Based Tape-Automated Bonding, kurz LaserTAB, vor: Die Aachener Experten zeigen, wie sich dank neuer Optik und Roboter-Unterstützung Batteriezellen und Leistungselektronik effizienter und präziser als bisher lasermikroschweißen lassen.

Auf eine geschickte Kombination von Roboter-Einsatz, Laserscanner mit selbstentwickelter neuer Optik und Prozessüberwachung setzt das Fraunhofer ILT aus Aachen.

Im Focus: LaserTAB: More efficient and precise contacts thanks to human-robot collaboration

At the productronica trade fair in Munich this November, the Fraunhofer Institute for Laser Technology ILT will be presenting Laser-Based Tape-Automated Bonding, LaserTAB for short. The experts from Aachen will be demonstrating how new battery cells and power electronics can be micro-welded more efficiently and precisely than ever before thanks to new optics and robot support.

Fraunhofer ILT from Aachen relies on a clever combination of robotics and a laser scanner with new optics as well as process monitoring, which it has developed...

Im Focus: The pyrenoid is a carbon-fixing liquid droplet

Plants and algae use the enzyme Rubisco to fix carbon dioxide, removing it from the atmosphere and converting it into biomass. Algae have figured out a way to increase the efficiency of carbon fixation. They gather most of their Rubisco into a ball-shaped microcompartment called the pyrenoid, which they flood with a high local concentration of carbon dioxide. A team of scientists at Princeton University, the Carnegie Institution for Science, Stanford University and the Max Plank Institute of Biochemistry have unravelled the mysteries of how the pyrenoid is assembled. These insights can help to engineer crops that remove more carbon dioxide from the atmosphere while producing more food.

A warming planet

Im Focus: Hochpräzise Verschaltung in der Hirnrinde

Es ist noch immer weitgehend unbekannt, wie die komplexen neuronalen Netzwerke im Gehirn aufgebaut sind. Insbesondere in der Hirnrinde der Säugetiere, wo Sehen, Denken und Orientierung berechnet werden, sind die Regeln, nach denen die Nervenzellen miteinander verschaltet sind, nur unzureichend erforscht. Wissenschaftler um Moritz Helmstaedter vom Max-Planck-Institut für Hirnforschung in Frankfurt am Main und Helene Schmidt vom Bernstein-Zentrum der Humboldt-Universität in Berlin haben nun in dem Teil der Großhirnrinde, der für die räumliche Orientierung zuständig ist, ein überraschend präzises Verschaltungsmuster der Nervenzellen entdeckt.

Wie die Forscher in Nature berichten (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005), haben die...

Im Focus: Highly precise wiring in the Cerebral Cortex

Our brains house extremely complex neuronal circuits, whose detailed structures are still largely unknown. This is especially true for the so-called cerebral cortex of mammals, where among other things vision, thoughts or spatial orientation are being computed. Here the rules by which nerve cells are connected to each other are only partly understood. A team of scientists around Moritz Helmstaedter at the Frankfiurt Max Planck Institute for Brain Research and Helene Schmidt (Humboldt University in Berlin) have now discovered a surprisingly precise nerve cell connectivity pattern in the part of the cerebral cortex that is responsible for orienting the individual animal or human in space.

The researchers report online in Nature (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005) that synapses in...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Legionellen? Nein danke!

25.09.2017 | Veranstaltungen

Posterblitz und neue Planeten

25.09.2017 | Veranstaltungen

Hochschule Karlsruhe richtet internationale Konferenz mit Schwerpunkt Informatik aus

25.09.2017 | Veranstaltungen

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

Legionellen? Nein danke!

25.09.2017 | Veranstaltungsnachrichten

Hochvolt-Lösungen für die nächste Fahrzeuggeneration!

25.09.2017 | Seminare Workshops

Seminar zum 3D-Drucken am Direct Manufacturing Center am

25.09.2017 | Seminare Workshops