Wieviel Zeit bleibt bis zum Worst-Case?

Bei den modernen, leistungsstarken Prozessoren lässt sich aber nur schwer festzustellen, wie lange ein Programm braucht, bis es seine Reaktion berechnet hat. Daher sollen nun komplexe Systeme von vornherein so entworfen werden, dass ihr Zeitverhalten präzise vorhergesagt werden kann.

Auch wenn die Leistung von Prozessoren in den letzten zehn Jahren enorm gesteigert worden ist, zielte sie vor allem auf die Benutzer von Personalcomputern, Worksta­tions und Rechnern für wissenschaftliches Rechnen ab. Die dafür entwickelten Rechnerarchitekturen haben es jedoch enorm erschwert, die Laufzeiten von Programmen zu bestimmen und die Pünktlichkeit komplexer eingebetteter Systeme nachzuweisen.

Dies ist jedoch für sicherheitskritische Aufgaben wie sie zum Beispiel in Flugzeugen und Automobilen zum Einsatz kommen, unbedingt erforderlich. Denn dort geht der Trend dahin, die zahlreichen kleinen Prozessoren, die sich nur einer Aufgabe widmen, durch leistungsstarke Hardware-Plattformen abzulösen. Diese sind jedoch so komplex, dass ihr Zeitverhalten durch bloßes Testen nicht mehr bestimmt werden kann.

Im Rahmen des Projektes Predator, unter der Leitung von Informatik-Professor Reinhard Wilhelm von der Universität des Saarlandes, sollen nun neue Architekturen geschaffen werden, die es einfacher machen, ein System zu analysieren und die im schlechtesten Fall eintretende Ausführungszeit (worst case execution time) vorherzusagen.

Partner in dem Projekt sind verschiedene europäischen Forschungsinstitute, die Flugzeug- und Automobilindustrie, vertreten durch EADS Airbus und Bosch sowie das mittelständische Unternehmen AbsInt Angewandte Informatik GmbH in Saarbrücken, das ein Werkzeug zur Zeitanalyse entwickelt hat, das derzeit weltweit als das beste seiner Art gilt.

Die Industrie hatte bis vor wenigen Jahren keine zuverlässigen Methoden, um für moderne, leistungsstarke Prozessoren festzustellen, wie lange die auf ihnen laufenden sicherheitskritischen Programme brauchen, bis sie ihre Reaktion berechnet haben. Das Team von Prof. Reinhard Wilhelm und das Spin-Off-Unternehmen AbsInt Angewandte Informatik GmbH haben eine Technologie und ein darauf basierendes Werkzeug entwickelt, das dieses Problem automatisiert behandelt. Bisher ist es das einzige Werkzeug, das im vergangenen Jahr die strengen Zertifizierungsverfahren der europäischen Luftfahrtbehörden erfolgreich bestanden hat. Für die Zeitanalyse etwa der Flugsteuerung neuer europäischer Modelle (wie zum Beispiel der Airbus A380) darf nur diese Software eingesetzt werden.

Kontakt:
Prof. Dr. Reinhard Wilhelm
Universität des Saarlandes
Im Stadtwald 15
Gebäude E1 3
66123 Saarbrücken
Telefon: 06 81/3 02-34 34
E-Mail: wilhelm@cs.uni-sb.de

Media Contact

Helga Hansen Innovationseinblicke Saarland

Alle Nachrichten aus der Kategorie: Informationstechnologie

Neuerungen und Entwicklungen auf den Gebieten der Informations- und Datenverarbeitung sowie der dafür benötigten Hardware finden Sie hier zusammengefasst.

Unter anderem erhalten Sie Informationen aus den Teilbereichen: IT-Dienstleistungen, IT-Architektur, IT-Management und Telekommunikation.

Zurück zur Startseite

Kommentare (0)

Schreiben Sie einen Kommentar

Neueste Beiträge

Pinguinzählung in der Antarktis

Kaiserpinguine gelten als vom Aussterben bedroht. Um die größte aller Pinguinarten zu schützen, gilt es, die Zahl der Tiere genau im Blick zu behalten und zu untersuchen, welche Faktoren die…

Blütenbesuch- und Pollentransport in Kulturlandschaften

Ein Forschungsteam unter Leitung der Universität Göttingen hat Wildbienen auf Kalkmagerrasen untersucht und dabei sowohl die Blütenbesuchsnetzwerke als auch die Pollentransportnetzwerke analysiert. Dabei zeigte sich, dass nicht alle Besuche der…

KI und Robotik: Wie autonomer Ultraschall den medizinischen Alltag entlasten kann

Robotischer Ultraschall kann Ärztinnen und Ärzten Routineuntersuchungen abnehmen. Die Untersuchungen sind standardisiert, somit werden Daten miteinander vergleichbar. Für autonome oder automatisierte Untersuchungen ist kein medizinisches Fachpersonal nötig. Prof. Nassir Navab…

Partner & Förderer