Ziel der Innovationsallianz ist eine durchgängige, leistungsfähige Methodik zur Entwicklung eingebetteter Systeme. Die Schwerpunkte von SQC liegen zum Beispiel in der modellbasierten Entwicklung, der Modellierung paralleler Echtzeitprozesse und dem Nachweis des Echtzeitverhaltens.

Es ist das Hauptziel des DEVICE-SOFT Projekts, deduktive Verifikationsmethoden für industrielle Anwendungen mit sicherheitskritischen eingebetteten Systemen nutzbar zu machen. Das Projekt stützt sich dabei auf das Frama-C-Framework und seine deduktiven Verifikations-Plug-Ins.

Autos werden heute schon nach dem Baukastenprinzip gefertigt. Dadurch können individuelle Fahrzeuge mit an die Kundenwünsche angepasster Ausstattung effizient produziert werden. Im Projekt EBASO soll dieser Ansatz auch auf die Entwicklung von eingebetteter Software im Automobilbereich übertragen werden.

Die innovative Idee von PROVALIDIS beruht auf der Entwicklung einer adaptiven Methodik zur Modell-basierten Entwicklung von LED-Lichtszenarien. Hierfür findet eine modulare Integration von Umgebungsemulation mechatronischer Komponenten mit automatischer Testausführung statt. 

Im Projekt MODELISAR arbeiten 28 Partner aus Industrie und Forschung an der Entwicklung einer Simulationsplattform. Ziel ist es, eine offene, standardisierte Lösung für die Modellierung fahrzeugbezogener Systeme, die Generierung entsprechender Software und die integrierte Simulation zur Verfügung zu stellen.

Ziele von TRICE sind die Entwicklung von Methoden und Modellen zur Ableitung von Qualitäts- und Vertrauenswerten durch Anwendung von Vertrauensmetriken auf statischen oder Laufzeitdaten. Der Ansatz legt individuell formulierte Vertrauensrichtlinien für die Auswahl von Diensten oder Dienstleistern zugrunde.

Im Projekt ROTESS arbeiteten Fraunhofer IESE und FOKUS gemeinsam an Konzepten und Fallstudien für risikobasiertes Testen von Medizinsystemen. Die Partner entwickelten Testkonzepte für das Risikomanagement solcher Medizinsysteme. Dabei brachten sie ihre langjährigen Erfahrungen im Forschungsfeld des Testens ein.

Das Hauptziel des Projekts EFIPSANS ist die Aufdeckung von Funktionen im IPv6 Protokoll, damit diese für die Gestaltung von autonomen Netzwerken und Services genutzt werden können. Dazu werden Studien und technische Reports zu den einzelnen IPv6 Funktionen mit vorgegebenen Szenarien kombiniert.

SQC und ein mittelständischer Industriepartner entwickeln im Rahmen von Vakomo dezentrale und modulare Architekturen für Steuergeräte gemäß IEC 61508 – der geltenden Norm für Sicherheitsanforderungen in elektronischen Systemen.

Im Rahmen des Projekts MODELPLEX arbeiten Wissenschaftler des SQC an einer offenen Lösung für komplexe Systementwicklung, die Qualität und Produktivität verbessert. MODELPLEX definiert und entwickelt eine kohärente MDE-Infrastruktur für komplexe Systeme verschiedenster industrieller Domänen.

In dem Projekt D-MINT wird ein modellbasiertes Test-Framework erarbeitet, das in der Lage sein wird, die Qualität Software-intensiver, technischer Systeme zu testen und zu sichern. Die Ergebnisse werden zu einer umfassenden Technologie zur automatisierten Softwareentwicklung zusammengeführt.

Zur Integration virtueller Produkte hat sich in den letzten Jahren das Konzept des Digital Mock-Up (DMU) in der industriellen Praxis etabliert. Aufgrund einiger Mängel reagiert FunctionalDMU auf die Nachfrage nach Softwarewerkzeugen und Methoden zur funktionalen Integration virtueller mechatronischer Produkte.