Das Projekt MUSE (Multicore-Architektur zur Sensor-basierten Positionsverfolgung im Weltraum) will die Positionierung von Raumfahrzeugen verbessern. Im Rahmen des Projekts untersucht SQC, inwieweit modernste Multicore-Prozessoren für die Auswertung von Sensordaten im Weltraum geeignet sind und wie eine entsprechende Rechnerarchitektur aussehen müsste.

Echtzeitfähige eingebettete Systeme müssen heute eine ganze Reihe an Anforderungen erfüllen. Vor diesem Hintergrund definiert das Projekt VERDE ein methodisches Rahmenwerk zum iterativen, inkrementellen, verifikationsorientierten Entwurf komponentenbasierter Hardware/Software-Architekturen.

Der Standard AUTOSAR bietet bereits Ansätze zur Integration verschiedener Softwarekomponenten im Auto, die jedoch aufgrund der unterschiedlichen Sicherheitsanforderungen der Einzelkomponenten neu bewertet und eventuell erweitert werden müssen. SQC entwickelt dafür im VirtuOS-Projekt neue Prozesse, Werkzeuge und Methoden.

CESAR ist ein Embedded Systems Projekt von SQC. Um die europäische Spitzenposition im Transport- und Automatisierungsmarkt beizubehalten, zielt das CESAR Projekt darauf ab, Kosteneffizienz in der Entwicklung eingebetteter Systemen und Sicherheitsprozesse in einem hohen Maße zu fördern.

Daten und Informationen sind der Rohstoff des 21. Jahrhunderts und nehmen in der Stadt von morgen eine Schlüsselrolle ein. Mit daten.berlin.de startete in Berlin das erste Open Data Portal einer Stadt in Deutschland. Dort werden städtische Daten zentral, strukturiert, maschinenlesbar und offen lizenziert bereitgestellt.

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.