Softwaresysteme steuern immer mehr Aspekte unseres Lebens, und damit wird zunehmend die Sicherheit dieser Systeme relevant, und zwar im doppelten Sinne: Die Sicherheit, wenn es um Leib, Leben oder unternehmenskritische Bereiche geht, und die Sicherheit vor Einbrüchen, Sabotage und Datenlecks.

Bei solcher Software wollen wir, dass die Software bestimmte Anforderungen garantiert erfüllt. Dafür reichen einfache Tests nicht aus, die ja in der Regel nur bestimmte Szenarien abdecken – wir wollen, dass die Software sich in allen Szenarien korrekt verhält.

Es braucht die Anwendung mathematischer Techniken – sogenannter formaler Methoden, und die waren bisher eine Lücke im Portfolio der Advanced-Schulungen, die wir jetzt geschlossen haben.

Das Modul „FM – Formale Methoden“ vermittelt Software-architekten, wie sie die Korrektheit des Designs und der Implementierung eines Systems durch mathematische Beweise sicherstellen können.

Das Modul konzentriert sich auf sicherheitskritische, sensible oder wirtschaftlich vitale Systeme und geht über traditionelle Architektur- und Testmethoden hinaus, indem es formale Techniken bietet, um zu überprüfen, dass Software ihren Anforderungen entspricht.

Durch die frühzeitige Integration formaler Methoden in der Designphase können Architekten verifizierbare Modelle erstellen, die ein höheres Maß an Softwarequalität und Zuverlässigkeit gewährleisten.