OFFIS konzentriert seine Aktivitäten auf die Qualitätsverbesserung des System- und Software-Engineering-Prozesses für sicherheitskritische Systeme und wird insbesondere branchenspezifische generische Prozessmodelle für die Anwendungsbereiche Automobiltechnik, Bahntechnik sowie Luft- und Raumfahrttechnik entwickeln. OFFIS bringt hierbei substantielle Erfahrung auf den Gebieten modellbasierter Entwurfsprozesse und modellbasierter Verifikation ein und wird die Ausprägung von Prozessmodellen unter dem besonderen Aspekt der Verbesserung der Entwicklungsqualität und Sicherheit von Anwendungen in den genannten Domänen durch Einführung von modellbasierten Entwurfsprozessen und darauf aufsetzenden Validationstechniken legen. Hierbei geht es unter anderem um eine Vermeidung tiefer Iterationsschleifen, Verbesserung der Nachvollziehbarkeit von Entwurfsentscheidungen über alle Sichten und Schritte, Durchgängigkeit durch den gesamten Entwurfsprozess und insbesondere Analysemethoden zur Gewährleistung der Sicherheitsanforderungen.
OFFIS wird insbesondere auch seine Zusammenarbeit mit Zertifizierungsstellen in den Bereichen Luft- und Raumfahrt (JAA) sowie Bahntechnik (EBA) intensivieren, in denen aufgrund besonderer Sicherheitsanforderungen formale Methoden im Entwurfsprozess gefordert werden.
