iSAQB® FM - Formale Methoden Zertifizierung

Software steuert heute viele kritische Bereiche: medizinische Geräte, Finanzsysteme, industrielle Steuerungen, digitale Infrastruktur. In solchen Umgebungen reicht klassisches Testen oft nicht aus. Tests prüfen einzelne Szenarien, aber kein Test kann alle möglichen Zustände eines komplexen Systems abdecken. Formale Methoden gehen weiter: Sie nutzen mathematische Modelle, um zu beweisen, dass ein System seine Anforderungen in allen Situationen erfüllt.

Das iSAQB CPSA Advanced Level Modul FM - Formale Methoden zeigt dir, wie du diese Techniken praktisch einsetzt. Du lernst, Systemanforderungen präzise zu spezifizieren, Architekturen so zu gestalten, dass sie formal verifizierbar sind, und Werkzeuge wie Model Checker oder SMT-Solver gezielt einzusetzen. Wichtig dabei: Formale Methoden funktionieren nur, wenn sie von Anfang an in den Architekturentwurf einfließen, nicht als nachträgliche Ergänzung.

Das Training richtet sich an Softwarearchitektinnen und Softwarearchitekten sowie erfahrene Entwicklerinnen und Entwickler, die in anspruchsvollen oder regulierten Umgebungen arbeiten. Besondere Mathematikkenntnisse brauchst du nicht, aber du solltest die CPSA-Foundation-Zertifizierung abgeschlossen haben und Praxiserfahrung in der Softwareentwicklung mitbringen.

In drei Tagen verbindest du Theorie mit Praxis: Du verstehst die Grundlagen formaler Logik, arbeitest mit konkreten Beispielen aus sicherheitskritischen Systemen und lernst, wie sich formale Methoden in bestehende Entwicklungsprozesse integrieren lassen. Das macht dieses Training zu einem praktischen Werkzeug, nicht zu einem rein akademischen Thema.

Alle iSAQB Advanced Level Module und den Weg zur CPSA-A-Zertifizierung findest du auf unserer iSAQB-Übersichtsseite.

• Du verstehst, warum formale Methoden bei sicherheitskritischen Systemen unverzichtbar sind und wo ihr Einsatz sinnvoll ist.
• Du kannst Systemanforderungen mathematisch präzise spezifizieren.
• Du kannst formale Modelle für Softwaresysteme erstellen.
• Du weißt, wie du Architekturen so entwirfst, dass sie formal verifizierbar sind.
• Du kannst Verifikationstechniken wie Model Checking und SMT-Solving anwenden.
• Du kannst Werkzeuge für formale Analyse gezielt auswählen und einsetzen.
• Du verstehst, wie sich formale Methoden in bestehende Entwicklungsprozesse integrieren lassen.

Das Modul FM - Formale Methoden ist Teil des CPSA Advanced Level des iSAQB. Es gibt keine separate Modulprüfung. Stattdessen sammelst du Credit Points, die du für den Abschluss als Certified Professional for Software Architecture - Advanced Level (CPSA-A) benötigst.

Für das FM-Modul erhältst du insgesamt 30 Credit Points, verteilt auf drei Kompetenzbereiche:

• 10 Punkte: Technische Kompetenz (TECH)
• 10 Punkte: Methodische Kompetenz (METHOD)
• 10 Punkte: Kommunikative Kompetenz (COMM)

Für den CPSA-A-Abschluss benötigst du mindestens 70 Credit Points aus anerkannten Advanced Level Modulen sowie das Bestehen einer schriftlichen Abschlussprüfung. Die Prüfung wird von einer akkreditierten Zertifizierungsstelle abgenommen, unabhängig vom Trainingsanbieter. Alle Details zu den offiziellen Anforderungen findest du auf der iSAQB-Seite zum FM-Modul.