Abteilung Qualitätssicherung
Fraunhofer FIRST / Institut
Die Abteilung Qualitätssicherung unterstützt die Entwicklung von zuverlässigen eingebetteten Soft- und Hardwaresystemen. Eingebettete Systeme erfüllen häufig sicherheitskritische Funktionen und müssen daher auch in unvorhergesehenen Situationen stets fehlertolerant und ausfallsicher funktionieren. Aus diesem Grund sind die Einhaltung hoher Qualitätsstandards und die Konformität mit branchenspezifischen Normen bei der Entwicklung von Embedded Systems besonders wichtig.
In den drei Forschungsgruppen Review und Assessment, Test und Verifikation bieten die Forscher ihren Kunden Methoden und Werkzeuge für die Qualitätssicherung im Entwicklungsprozess und unterstützen sie bei der Zertifizierung der Systeme.
Insbesondere bei der Verifikation sicherheitskritischer Systeme und beim modellbasierten Testen verfügen die Experten von Fraunhofer FIRST über ausgewiesenes Renommee. Damit die Qualitätssicherung so früh und so abstrakt wie möglich erfolgen kann, forscht die Abteilung schwerpunktmäßig an Methoden zur Formalisierung und Automatisierung der Qualitätssicherung.