Modellierung setzt sich durch

TU München entwickelt Softwarewerkzeug AutoFOCUS

05.06.2002, Pressemitteilungen

Im Projekt MOBASIS der Technischen Universität München (TUM) arbeiten Wissenschaftler zusammen mit der EADS und der Validas Model Validation AG an modellbasierter Softwareentwicklung für sicherheitskritische Systeme in der Luftfahrt. Die Projektmitglieder entwickeln Softwaretools und führen Test- und Validierungstechniken für ausfallsichere Flugsteuerungssysteme durch. Projektträger ist das Deutsche Zentrum für Luft- und Raumfahrt, und der Freistaat Bayern übernimmt die Finanzierung.

Wurde früher Software für sicherheitskritische Systeme auf Hochsprachenebene wie C oder Ada programmiert, nutzen Softwareingenieure zunehmend graphische Modellierungsmethoden. Die modellbasierte Softwareentwicklung erleichtert die Wartung, verkürzt Entwicklungszyklen und vereinfacht Testverfahren. Analog dazu überprüfen die zuständigen Zertifizierungsbehörden diese sicherheitskritische Software bislang noch auf der Hochsprachenebene. Inzwischen wird eine Zertifizierung auf der Modellebene angestrebt. Dazu müssen neue Standards in der Qualitätssicherung geschaffen werden. Da Softwarefehler in der Flugkontrollsteuerung für Piloten lebensbedrohlich sein können, werden die Kontrollverfahren besonders intensiv durchlaufen.

Moderne Techniken und Methoden der Softwareentwicklung werden auf sicherheitskritische Anwendungen angepasst. Ausgehend von dem Modellierungswerkzeug AutoFOCUS entwickeln die Wissenschaftler diverse Anwendungsszenarien für den Werkzeug-Prototypen. Für das Forschungsprojekt dient als Beispiel eine Vorflügelsteuerung, die das Kampfflugzeug in der Luft stabil hält.

In Hinblick auf die hohen Anforderungen an die Zertifizierung von Flugsteuerungssoftware entwerfen die Wissenschaftler an der TU München unter Leitung von Prof. Dr. Manfred Broy leistungsfähige Test- und Validierungstechniken. Dadurch überprüfen sie die Funktionalität des Software-Modells und des Hochsprachen-Codes. Die entwickelten Techniken wurden in AutoFOCUS integriert und erste Versuche bestätigten deren potentiellen Nutzen. Gleichzeitig verwirklichten Mitarbeiter der Validas Model Validation AG eine Anbindung von MATLAB an AutoFOCUS und einen ADA-Autocodegenerator. Die Verknüpfung hat den Vorteil, dass bestehende regelungstechnische MATLAB-Modelle direkt von AutoFOCUS übernommen werden können. Aus dem vollständigen Modell wird dann der ADA-Code automatisch generiert.

Kontakt:
Technische Universität München
Institut für Informatik
MOBASIS
Heiko Lötzbeyer
Arcisstr. 21
80333 München
Tel. 089/289-28171
E-Mail: loetzbey@in.tum.de

Kontakt: presse@tum.de