Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Airbus A 380 startet zum Jungfernflug mit Technik aus Saarbrücken

12.04.2005


Wenn in Kürze der neue Airbus A 380 zum ersten Mal abhebt, wird er mit Hilfe von Saarbrücker Informatikern sicher gesteuert werden. Sie haben ein Programm entwickelt, das dafür sorgt, dass die Steuerungs-Software des Riesenfliegers immer zur richtigen Zeit die Befehle des Piloten weiterleitet. Schon im Testlauf am Boden konnte dadurch nachgewiesen werden, dass alle sicherheitskritischen Abläufe reibungslos funktionieren. Die jungen Wissenschaftler haben für ihre Entwicklung, die auch in der Autoindustrie auf Interesse stößt, den IST-Preis 2004, den bedeutendsten Wissenschaftspreis der Europäischen Union, erhalten.



Der neue Airbus wird nicht mehr, wie bei älteren Flugzeugen üblich, über einen Steuerknüppel mit Hydraulik gelenkt, der Pilot und Flügel direkt verbindet. Stattdessen sorgt ein komplexes System von Software und Prozessoren dafür, dass der riesige Flieger sicher durch die Lüfte schwebt. Beim Zusammenspiel dieser einzelnen Prozessoren kommt es entscheidend darauf an, dass jedes einzelne Teilsystem genau zur richtigen Zeit seine Aufgabe erledigt und damit auch pünktlich fertig wird. Um dies zu überprüfen, haben die Saarbrücker Informatiker für die Airbus France SA eine Software entwickelt, die so genannte "Laufzeitgarantien" für zeitkritische Systeme abgibt. Sie kann durch beweisbar korrekte Methoden vorhersagen, wann ein Computer in einem Rechnersystem seine Aufgabe spätestens ausgeführt hat.

... mehr zu:
»Airbus »Prozessor »Werkzeug


Das Programm mit dem komplizierten Namen "aiT Worst-Case Execution Time Analyzer" ist weltweit das erste Werkzeug, das automatisch das korrekte Zeitverhalten von Software in eingebetteteten Systemen garantieren kann, also in Rechnersystemen, mit denen Geräte und Maschinen gesteuert werden. Diese Systeme sind in jedem Auto zu finden, und wie im Flugzeug auch dort, wo es um die Sicherheit von Menschen geht. Damit Airbag und Bremssysteme korrekt funktionieren, kann das Werkzeug der Saarbrücker Informatiker vorhersagen, wie spät ihre Systeme im ungünstigsten Fall reagieren. Dass die Autoelektronik hier noch Nachholbedarf hat, zeigen die zahlreichen Rückrufaktionen der Automobilhersteller in letzter Zeit, die zum großen Teil wegen Softwarefehlern ausgelöst wurden. Das Werkzeug aiT ist ein Produkt des Unternehmens AbsInt Angewandte Informatik GmbH (http://www.absint.de), das sich im Science Park vor den Toren der Universität des Saarlandes angesiedelt hat. Christian Ferdinand ist der Geschäftsführer dieser 20-Angestellten-Firma. Sie ist aus dem Saarbrücker Informatik-Lehrstuhl von Prof. Reinhard Wilhelm hervorgegangen. Dort wird im Sonderforschungsbereich AVACS (Automatische Verifikation und Analyse komplexer Systeme) gemeinsam mit den Universitäten Freiburg und Oldenburg sowie dem Max-Planck-Institut für Informatik in Saarbrücken daran geforscht, wie die Verlässlichkeit komplexer Systeme noch erhöht werden kann.

Technischer Hintergrund der Software:

Der aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Echtzeitsysteme und stellt so sicher, dass Programme unter allen Umständen schnell genug reagieren. 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 Messverfahren können verkürzt oder ersetzt werden. Das erhöht die Systemsicherheit und reduziert die Kosten. Durch präzise Laufzeitschranken wird ein System besser ausgelastet und bleibt dennoch sicher.

aiT unterstützt die folgenden Prozessoren: ARM7, Motorola Star12/HCS12, PowerPC 555, 565 und 755, Motorola Coldfire 5307, Texas Instruments TMS320C3x und seit neuestem auch C16x und ST10, in Entwicklung für TriCore. Stackanalyzer berechnet automatisch den maximalen Stackverbrauch von eingebetteten Anwendungen für jeden Programmpunkt. Die Ergebnisse werden anschaulich im Aufruf- und Kontrollflussgraphen gezeigt. Laufzeitfehler wegen Stack Overflow gehören somit der Vergangenheit an.

Fragen beantworten Ihnen:

Prof. Dr. Reinhard Wilhelm
Lehrstuhl für Programmiersprachen
Tel.: 0681/302-3434
Email: wilhelm@cs.uni-sb.de

Dr. Christian Ferdinand
AbsInt Angewandte Informatik GmbH
Tel.:0681/831 83 17
Email: ferdinand@AbsInt.com

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

Weitere Berichte zu: Airbus Prozessor Werkzeug

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Das Start-up inveox will Krebsdiagnosen durch Automatisierung im Labor zuverlässiger machen
15.06.2018 | Technische Universität München

nachricht Fußball durch die Augen des Computers
14.06.2018 | Universität Konstanz

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: AchemAsia 2019 in Shanghai

Die AchemAsia geht in ihr viertes Jahrzehnt und bricht auf zu neuen Ufern: Das International Expo and Innovation Forum for Sustainable Chemical Production findet vom 21. bis 23. Mai 2019 in Shanghai, China statt. Gleichzeitig erhält die Veranstaltung ein aktuelles Profil: Die elfte Ausgabe fokussiert auf Themen, die für Chinas Prozessindustrie besonders relevant sind, und legt den Schwerpunkt auf Nachhaltigkeit und Innovation.

1989 wurde die AchemAsia als Spin-Off der ACHEMA ins Leben gerufen, um die Bedürfnisse der sich damals noch entwickelnden Iindustrie in China zu erfüllen. Seit...

Im Focus: AchemAsia 2019 will take place in Shanghai

Moving into its fourth decade, AchemAsia is setting out for new horizons: The International Expo and Innovation Forum for Sustainable Chemical Production will take place from 21-23 May 2019 in Shanghai, China. With an updated event profile, the eleventh edition focusses on topics that are especially relevant for the Chinese process industry, putting a strong emphasis on sustainability and innovation.

Founded in 1989 as a spin-off of ACHEMA to cater to the needs of China’s then developing industry, AchemAsia has since grown into a platform where the latest...

Im Focus: Li-Fi erstmals für das industrielle Internet der Dinge getestet

Mit einer Abschlusspräsentation im BMW Werk München wurde das BMBF-geförderte Projekt OWICELLS erfolgreich abgeschlossen. Dabei wurde eine Li-Fi Kommunikation zu einem mobilen Roboter in einer 5x5m² Fertigungszelle demonstriert, der produktionsübliche Vorgänge durchführt (Teile schweißen, umlegen und prüfen). Die robuste, optische Drahtlosübertragung beruht auf räumlicher Diversität, d.h. Daten werden von mehreren LEDs und mehreren Photodioden gleichzeitig gesendet und empfangen. Das System kann Daten mit mehr als 100 Mbit/s und fünf Millisekunden Latenz übertragen.

Moderne Produktionstechniken in der Automobilindustrie müssen flexibler werden, um sich an individuelle Kundenwünsche anpassen zu können. Forscher untersuchen...

Im Focus: First real-time test of Li-Fi utilization for the industrial Internet of Things

The BMBF-funded OWICELLS project was successfully completed with a final presentation at the BMW plant in Munich. The presentation demonstrated a Li-Fi communication with a mobile robot, while the robot carried out usual production processes (welding, moving and testing parts) in a 5x5m² production cell. The robust, optical wireless transmission is based on spatial diversity; in other words, data is sent and received simultaneously by several LEDs and several photodiodes. The system can transmit data at more than 100 Mbit/s and five milliseconds latency.

Modern production technologies in the automobile industry must become more flexible in order to fulfil individual customer requirements.

Im Focus: ALMA entdeckt Trio von Baby-Planeten rund um neugeborenen Stern

Neuartige Technik, um die jüngsten Planeten in unserer Galaxis zu finden

Zwei unabhängige Astronomenteams haben mit ALMA überzeugende Belege dafür gefunden, dass sich drei junge Planeten im Orbit um den Säuglingsstern HD 163296...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

LymphomKompetenz KOMPAKT: Neues vom EHA2018

19.06.2018 | Veranstaltungen

Simulierter Eingriff am virtuellen Herzen

18.06.2018 | Veranstaltungen

Künstliche Intelligenz – Schafft der Mensch seine Arbeit ab?

15.06.2018 | Veranstaltungen

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

Tag it EASI - neue Methode zur genauen Proteinbestimmung

19.06.2018 | Biowissenschaften Chemie

Live-Verfolgung in der Zelle: Biologische Fussfessel für Proteine

19.06.2018 | Biowissenschaften Chemie

Können Reaktionen in kondensierten Biomaterialien beschleunigt werden?

19.06.2018 | Biowissenschaften Chemie

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