Die Anforderungen im Hinblick auf die nächsten Flugzeuggenerationen erfordern emissions-senkende Neuentwicklungen die der Verbundführer Airbus maßgeblich mitgestalten muss. Dabei hat der Flugzeugbauer Airbus das Interesse nicht nur seine Entwicklungszeit zu verkürzen, sondern gleichzeitig auch eine Senkung der Wartungskosten zu erreichen. Airbus Deutschland möchte sich durch eine flugzeugtypische Darstellung der neuen Generation von Rechner-Komponenten auf die nächste Flugzeuggeneration vorbereiten. Um die Funktionalität hinsichtlich der technologietreibenden Anforderungen abzudecken sollen repräsentative Funktionen integriert werden. Dieses sind rechenintensive, zeitkritische, I/O intensive und flugkritische Funktionen.

Im Vorhaben IMA-V sollen die Systemanforderungen des IMA-Systems (IMA=Integrated Modular Avionics Rechnerbebauung des Flugzeugs) mit innovativen, modellbasierten Methoden spezifiziert werden, einerseits um diese Methoden auf einen höheren Entwicklungsstand zu heben und andererseits, um eine klarere, präzisere und testbarere Anforderungsbasis zur Entwicklung der Module für das nächste Flugzeugprogramm zu schaffen. OFFIS verfolgt hier das Ziel entsprechende Methoden und eine Arbeitsumgebung für das Anforderungs-Engineering zur Verfügung zu stellen, mit deren Hilfe verbal formulierte Anforderungen in formal bzw. semi-formal modellierte Anforderungen überführt werden können.