Abteilung Qualitätssicherung
Fraunhofer FIRST / Institut
Abgeschlossene Projekte
ES_PASS – Embedded Software Product-based Assurance
Im Projekt ES_PASS erproben und evaluieren 22 Partner aus Forschung und Industrie Methoden zur statischen Analyse von Programmen. Statische Analyse ist ein produktorientiertes Verfahren der Softwarequalitätssicherung, bei dem das fertige Softwareprodukt (der Code) werkzeuggestützt analysiert und auf Fehler untersucht wird.
TEMEA – Testspezifikationstechnologie und Methodik für eingebettete Echtzeitsysteme im Automobil
Ziel des TEMEA-Projekts ist es, auf der Basis der Sprache TTCN-3 (Testing und Test Control Notation) eine einheitliche Testtechnologie zu entwickeln, um den Qualitätssicherungsprozess effizienter und kostengünstiger zu gestalten. Der Schwerpunkt von Fraunhofer FIRST liegt auf der Testautomatisierung mit TTCN-3.
IMMOS – Integrierte Methodik zur modellbasierten Steuergeräteentwicklung
Ziel des Forschungsprojektes IMMOS ist die Definition einer integrierten Methodik zur modellbasierten Entwicklung von Steuergeräten. Diese Methodik wird die bereits existierenden modellbasierten Einzeltechniken – vor allem das modellbasierte Requirements Engineering, die modellbasierte Codegenerierung und den modellbasierten Test – zu einer einheitlichen Entwicklungsmethodik integrieren.