Geschäftsfelder
Fraunhofer FIRST / Institut
Formale Verifikation für sicherheitskritische Software
Die Korrektheit von Steuergeräten im sicherheitskritischen Bereich ausschließlich anhand von Tests zu überprüfen, ist aufgrund der zunehmenden Komplexität der Software extrem aufwändig. Daher empfehlen die Forscher von Fraunhofer FIRST zusätzlich oder alternativ zum Softwaretest die formale Verifikation. Bei dieser Qualitätssicherungsmethode wird mit mathematisch fundierten Methoden bewiesen, dass die Software ihrer Spezifikation entspricht. Fraunhofer FIRST berät Unternehmen bei der Erstellung formaler Spezifikationen und beim Einsatz von Werkzeugen für einen automatisierten Verifikationsprozess.