iSAQB FMFormale Methoden Schulung

  • 30 Credit Points für CPSA-A

Die Fakten

Dauer
3 Tage
Format
Live Online
Sprache
Deutsch
Credit Points
20 Technik und 10 Methodik

Preis pro Platz

ab1.935 €zzgl. MwSt.

Nächster Termin

30. Nov. – 2. Dez. 2026Live Onlineder einzige Termin

Inhouse für dein TeamTermin wählen
Über den Kurs

Worum es in diesem Kurs geht.

Ein bestandener Test sagt, dass die geprüften Beispiele funktioniert haben. FM arbeitet an der anderen Art von Sicherheit: Du formulierst eine Systemeigenschaft in Logik, entwirfst eine Architektur, die sie sicherstellt, und weist sie mit Model Checking, SMT-Solvern, Beweisassistenten oder abstrakter Interpretation nach. Das Modul klärt außerdem, wo formale Methoden greifen und wo nicht.

FM hat keine eigene Prüfung. Die Teilnahme bringt Credit Points für die CPSA-A-Zulassung; die Zertifizierung selbst läuft getrennt, über eine Hausarbeit und eine mündliche Prüfung.

iSAQB-Lehrplan
2024.1
Advanced Level
FM
Termine

Alle geplanten Termine für diesen Kurs.

1 Termin.

Gruppenrabatt ab 2 Plätzen in einer Buchung, automatisch im Checkout. Es gilt der höchste passende Rabatt.

November 2026

1 Termin

  • , Live Online, Deutsch

    • Mo–Mi–

    CET

    Format
    Live Online
    Sprache
    Deutsch
    Deine Trainer
    Folgt noch
    Gruppenrabatt
    Frühbucherrabatt

    Aktueller Preis 1.935 €

    Regulärer Preis 2.150 €Du sparst 215 €

    pro Platz, zzgl. MwSt.

    Plätze: 5+ frei

Die Preise gelten pro Platz und verstehen sich zzgl. Mehrwertsteuer (MwSt.). Die Uhrzeiten sind in mitteleuropäischer Zeit (MEZ oder MESZ) angegeben, sofern bei einem Termin nichts anderes steht.

Du suchst eine Inhouse-Schulung zu FM für dein Team? Frag uns.

Bevor du buchst

Ist das der richtige Kurs für dich?

Zielgruppe

  • Du entwirfst Systeme, in denen ein falsches Ergebnis untragbar ist.
  • Du verantwortest Software, die Hardware steuert oder Geld bewegt.
  • Dir reicht eine Testsuite aus Beispielen als Nachweis nicht.
  • Du entscheidest, wo im Entwurf Verifikation ihren Aufwand wert ist.

Voraussetzungen

Empfohlen

Der Lehrplan erwartet Grundkenntnisse in Algebra und in Logik.

Bei einigen Konzepten helfen funktionale Programmierung, äquationales Schließen über Programme und die Semantik von Programmiersprachen.

Lehrplan, 4 Themen

Was der Kurs behandelt.

Grundlage ist iSAQB FM-Lehrplan 2024.1. Dein Trainer geht die Themen live mit der Gruppe durch.

  1. Logik
  2. Spezifikation und Implementierung
  3. Formale Methoden und der Entwicklungsprozess
  4. Tools

Nach dem Kurs kannst du

  • Spezifikationen in Aussagen- und Prädikatenlogik lesen und schreiben
  • Formale Spezifikationen von Spezifikationen per Beispiel abgrenzen
  • Drei Spezifikationssprachen und ihre Ausdruckskraft vergleichen
  • Bestimmen, welche Teile eines Systems formale Methoden erreichen
  • Ausdruckskraft einer formalen Methode gegen ihren Aufwand abwägen
  • Formale Methoden schrittweise über statische Typen und Property-Tests einführen
  • Eigenschaften mit Model Checking, SMT-Solvern oder Beweisassistenten nachweisen
  • Dynamisches Programmverhalten per abstrakter Interpretation vorhersagen

So funktioniert die Schulung.

  1. Vor dem Kurs

    Vor dem Albion-Kurs FM bekommst du die Unterlagen und die Zugangsdaten oder die Adresse des Veranstaltungsorts.

  2. Die Kurstage

    Die Kurstage laufen online und vor Ort nach demselben Programm; die Zeiten stehen beim gebuchten Termin.

  3. Nach dem Kurs

    Ab 80 % Anwesenheit bekommst du das Albion-Teilnahmezertifikat; die Credit Points zählen für die CPSA-A-Zulassung.

Nach dem Kurs

Credit Points, und das Zertifikat, das du mitnimmst.

Teilnahmezertifikat

Dafür brauchst du
Mindestens 80 % der Kurszeit anwesend
Das Zertifikat, auf Deutsch

Credit Points

30 Credit Points für CPSA-A

Dieser Kurs hat keine Prüfung.

Technik
20 Credit Points
Methodik
10 Credit Points
Kommunikation
0 Credit Points

Was dir bis zum CPSA-A noch fehlt

Dieser Kurs bringt 30 der 70 nötigen Credit Points. In deiner Summe über alle Module müssen mindestens 10 Punkte in jedem Bereich stecken.

Außerdem brauchst du das CPSA-F-Zertifikat (Foundation); die offiziellen Regeln nennen die übrigen Zulassungs- und Prüfungsbedingungen.

Offizielle CPSA-A-Voraussetzungen

Warum du bei Albion buchst.

Jedes Versprechen hier lässt sich an den AGB messen, und es gilt für jeden Kurs.

  • Prüfbares digitales Zertifikat

    Jedes Zertifikat, das Albion ausstellt, hat eine öffentliche Prüfseite, und im Zertifikats-Showroom siehst du zu jedem Zertifikat ein Beispiel.

    Zum Zertifikats-Showroom

  • Akkreditierte Trainer, die als Architekten arbeiten

    Deine Trainer sind akkreditierte iSAQB-Trainer, die als Architekten arbeiten. Die Übungen kommen deshalb aus Systemen, die sie selbst gebaut haben.

Verwandte Module.

  1. Du bist hier

    iSAQB FM Formale Methoden Schulung

    Credit Points aus diesem Kurs

    Technik
    20
    Methodik
    10
    Kommunikation
    0

    Nur dieser Kurs. Deine bisherigen Module sind nicht mitgezählt.

  2. Verwandte Module ansehen

    Diese Liste hat 8 Module.

    Für CPSA-A brauchst du 70 Punkte, mindestens 10 in jedem Bereich, dazu das Foundation-Zertifikat.

Fragen vor der Buchung.

Hat FM eine eigene Prüfung?

Der Albion-Kurs FM hat keine Prüfung und bringt CPSA-A-Credit-Points. Die Zertifizierung umfasst eine Hausarbeit und eine mündliche Prüfung durch vom iSAQB benannte Fachleute, nach Erfüllung aller Zulassungsvoraussetzungen.

Wie viele Credit Points bringt FM?

Der Albion-Kurs FM bringt dir 30 Credit Points nach dem iSAQB-FM-Lehrplan 2024.1: 20 im technischen Kompetenzbereich, 10 im methodischen und keine im kommunikativen.

Brauche ich CPSA-F für FM?

Für den Albion-Kurs FM brauchst du keine CPSA-F-Zertifizierung. Der Lehrplan 2024.1 erwartet Grundkenntnisse in Algebra und Logik; die bestandene Foundation-Prüfung gehört zu den Voraussetzungen der CPSA-A-Zertifizierung.

Was bekomme ich für die Teilnahme?

Für den Albion-Kurs FM bekommst du ab 80 % Anwesenheit das Albion-Teilnahmezertifikat mit öffentlicher Prüfseite. Es hängt an der Anwesenheit, nicht an einer Prüfung.

Läuft FM online anders als vor Ort?

Der Albion-Kurs FM folgt online und vor Ort demselben Programm.

Gibt es einen Rabatt für mehrere Plätze?

Für mehrere Plätze in einer Buchung des Albion-Kurses FM zieht Albion einen Gruppenrabatt ab. Ob er für einen Termin gilt und ab wie vielen Plätzen, zeigen die Terminzeile und der Checkout.

Muss ich ein Beweiswerkzeug schon kennen?

Der Albion-Kurs FM setzt keine Werkzeugerfahrung voraus. Das Kapitel Tools im Lehrplan behandelt Property-based Testing, Typsysteme, Model Checking, Beweisassistenten, SMT-Solver und abstrakte Interpretation.

Ist FM nur für sicherheitskritische Software?

Der Albion-Kurs FM ist nicht nur für sicherheitskritische Software. Der Lehrplan nennt Hardwaresteuerung, sensible Daten und umsatzkritische Berechnungen und zeigt, welche Teile eines Systems formale Methoden erreichen.

Deine Frage ist nicht dabei? Frag uns

Nächster Schritt

Bereit zu buchen?

Ein Termin, am 30. Nov. – 2. Dez. 2026, ab 1.935 € zzgl. MwSt.

Termin wählenInhouse für dein Team