Am 27. April 2005 landete das größte Passagierflugzeug der Welt, der Airbus A380, nach seinem Jungfernflug sicher auf dem Flughafen Toulouse-Blagnac in Südfrankreich.
Der A380 wird durch ein Fly-by-Wire-System gesteuert. Dieses System bietet keine direkte hydraulische Verbindung mehr zwischen Cockpit und Steuerkomponenten. Die klassische Steuerung über Hydraulik wurde durch eine digitale ersetzt. Der Flugsteuerungscomputer liest die Befehle des Piloten ein und berechnet entsprechende Werte für die Steuerelemente, wobei die aktuelle Situation, die physikalischen Gegebenheiten und die Aerodynamik des Flugzeugs in die Berechnung einfließen.
Kritisch an diesem System ist, daß die Flugsteuerungssoftware in festen Zeitschranken arbeiten muß. Das Leben von Passagieren und Crew kann davon abhängen, ob die Software immer rechtzeitig antwortet.
Ein entscheidender Beitrag zur Sicherheit des A380-Flugsteuerungssystems stammt von der in Saarbrücken ansässigen Firma AbsInt. Diese hat ein Software-Tool entwickelt, welches garantieren kann, daß das Flugsteuerungssystem unter allen Umständen innerhalb vorgeschriebener Zeitschranken arbeitet.
Das Tool trägt den Namen „aiT Worst-Case Execution Time Analyzer“ und ermöglicht die Berechnung von Laufzeitschranken für alle Tasks im System. Es ist weltweit das erste Werkzeug, das automatisch das korrekte Zeitverhalten von Software in komplexen eingebetteten Systemen gewährleisten kann.
2003 wurde aiT mit dem renommierten European Information Society Technology Prize ausgezeichnet, dem angesehensten europäischen Technologiepreis „für bahnbrechende Produkte“, der jährlich „an die 20 innovativsten Unternehmen Europas“ vergeben wird.
Die Einsatzmöglichkeiten von aiT beschränken sich nicht auf die Luftfahrtindustrie. Zeitkritische Echtzeitsysteme sind z. B. auch in jedem modernen Auto zu finden – vor allem dort, wo es um die Sicherheit von Menschen geht.
Um z. B. korrektes Funktionieren von Airbags oder Bremssystemen zu garantieren, muß analysiert werden, wie schnell ihre Steuerungssoftware im ungünstigsten Fall reagiert – ein Fall für aiT.
AbsInt Angewandte Informatik GmbH bietet neben aiT weitere Tools zur Programmanalyse an, darunter den StackAnalyzer zur Analyse des Stackverbrauchs oder aiPop zur Codekompaktierung. Auch der StackAnalyzer wurde im neuen Airbus eingesetzt. Dadurch konnte sichergestellt werden, daß es bei der Ausführung der Flugsteuerungssoftware niemals zu Stacküberlauf-Fehlern kommt.
Gegründet wurde AbsInt 1998 als ein Spin-Off des Lehrstuhls für Programmiersprachen und Compilerbau der Universität des Saarlandes.
| Telefon: | (0681) 383 60 14 |
| Fax: | (0681) 383 60 20 |
| Email: | press@absint.com |
| Website: | www.absint.de/presse |