Ziel dieses EU-Projektes mit dem Akronym SafeAir sowie des Nachfolgeprojektes SafeAir II ist es, eine Verbesserung des Entwicklungsprozesses komplexer eingebetteter Kontrollsysteme im Luftfahrtbereich durch den Einsatz formaler Verifikationsmethoden zu erreichen. OFFIS erweitert innerhalb dieses Projektes seiner Verifikationstechnologien hinsichtlich der Unterstützung reelwertiger Datentypen.

Neben einer Integration der verschiedenen Entwurfswerkzeuge zwecks Austausch und Komposition von Modellen, sollen die Verbesserungen, durch welche eine Reduktion künftiger Entwicklungskosten um 35 - 40 % erwartet wird, durch automatische Code-Generierung, Code-Validierung und Verifikation erreicht werden. Der typische V-basierte Entwicklungsprozess wird durch diese Verbesserungen schrittweise zu einem Y-basierten verbessert, weil bisherige Entwicklungsschritte durch Automatisierung wegrationalisiert und die Entwicklungszeiten signifikant reduziert werden können.

Unter dem Namen HYBRID wird von OFFIS die Verifikationsumgebung um die Fähigkeit erweitert, auf der Basis des erststufigen Model-Checkens auch kontinuierliche Größen analysieren zu können. Da die Mehrzahl der Verifikationsprobleme im Avionikbereich reelwertige Größen beinhalten und bislang nicht behandelt werden konnten, fällt HYBRID in dem Projekt damit eine zentrale Rolle zu. Ein Proof-Manager verwaltet sämtliche Beweisaufgaben und Verifikationsergebnisse bzgl. Erzeugung, Ausführung, Abhängigkeiten und Konsistenz.