Abteilung Qualitätssicherung
Fraunhofer FIRST / Wissenschaft
Forschungsgruppe Verifikation
© Matthias Heyde/ Fraunhofer FIRST
Die Forschungsgruppe beschäftigt sich mit der statischen Analyse von Software für sicherheitsrelevante, eingebettete Systeme und mit der formalen Verifikation der Software gegenüber den entsprechenden Spezifikationen. Die formale Verifikation wird immer häufiger ergänzend zum Testen eingesetzt, um mathematisch zu beweisen, dass die Software ihren Anforderungen entspricht. Auch in Normen für die Zertifizierung von sicherheitskritischen Systemen wird die Verifikation bereits empfohlen.
Die Forschungsgruppe berät und unterstützt Kunden im Entwicklungs- und Zertifizierungsprozess beim Einsatz von statischer Analyse und von formalen Methoden. Um die Verifikation effizienter zu gestalten, arbeitet die Forschungsgruppe an Verfahren zur Automatisierung von Verifikationstechniken.