iSAQB® FM
iSAQB CPSA-Advanced Level FM (Formal Methods) führt in formale Methoden ein, die klassische Praktiken der Softwarearchitektur durch mathematische Techniken ergänzen, um kritische Systemeigenschaften zu spezifizieren und zu verifizieren. Teilnehmer behandeln Kernthemen wie Logik , die Verbindung zwischen Spezifikation und Implementierung sowie die Integration formaler Methoden in den Entwicklungsprozess , unterstützt durch Werkzeuge und Praxisbeispiele.
Beschreibung
iSAQB CPSA-Advanced Level FM (Formal Methods) führt in formale Methoden ein, die klassische Praktiken der Softwarearchitektur durch mathematische Techniken ergänzen, um kritische Systemeigenschaften zu spezifizieren und zu verifizieren.
Teilnehmer behandeln Kernthemen wie Logik, die Verbindung zwischen Spezifikation und Implementierung sowie die Integration formaler Methoden in den Entwicklungsprozess, unterstützt durch Werkzeuge und Praxisbeispiele. Der Kurs zeigt, wie Architekturen entworfen werden, die eine formale Verifikation erlauben. Dazu gehören auch Auswirkungen auf die Wahl von Sprachen und Werkzeugen bei der Verbindung von Spezifikation und Code.
Keine Termine verfügbar
Schauen Sie später noch einmal vorbei oder kontaktieren Sie einen Anbieter direkt.
Was Sie lernen werden
Modul 1: Grundlagen der Logik
Syntax und Semantik der Aussagen- und Prädikatenlogik (erster Stufe).
Temporale Operatoren zur Beschreibung zeitabhängiger Systemeigenschaften.
Logikkalküle und Inferenzregeln, einschließlich Vollständigkeit und Widerlegung.
Beweissysteme wie natürliches Schließen, Sequenzenkalkül und Resolution.
Unterschiede zwischen klassischer und intuitionistischer Logik.
Modul 2: Spezifikation und Verfeinerung
Formale Spezifikationen für Funktionen, Datentypen, Algorithmen und Systemkomponenten.
Definition nicht-funktionaler Anforderungen wie Performance, Security und Safety.
Vergleich von Spezifikationssprachen wie Isabelle/HOL, ACL2, TLA+ und Alloy.
Verfeinerungstechniken und die Nutzung von Zwischenmodellen zwischen Spezifikation und Code.
Modul 3: Formale Methoden im Entwicklungslebenszyklus
Auswahlkriterien für formale Methoden basierend auf technischem Kontext und organisatorischen Anforderungen.
Abwägung zwischen manuellem Aufwand, Ausdrucksstärke und Werkzeugautomatisierung.
Strategien für die schrittweise Einführung formaler Methoden in bestehende Prozesse.
Einsatz von SMT/SAT-Solving und abstrakter Interpretation zur Unterstützung der Architekturbewertung.
Modul 4: Verifikationswerkzeuge und -techniken
Property-based Testing zur Prüfung von Anforderungen mit generierten Daten.
Typsysteme und fortgeschrittene Typkonzepte für die statische Prüfung von Bedingungen.
Model Checking zur Verifizierung von Automaten mittels temporaler Logik.
Beweisassistenten zur Herleitung und Prüfung von Softwaresystem-Eigenschaften.
SMT-Solver zur Prüfung von Bedingungen und mathematischen Beweisen.
Abstrakte Interpretation zur Vorhersage des dynamischen Verhaltens, einschließlich Pointer-Aliasing und Datenfluss.
Modul 5: Anwendungsbeispiele
Praktische Anwendung formaler Methoden auf eine spezifische Systemverifikationsaufgabe oder Softwarearchitektur.
Zertifizierung & Prüfung
Das iSAQB CPSA Advanced Level Modul FM (Formal Methods) ist ein akkreditiertes Trainingsmodul innerhalb des Programms Certified Professional for Software Architecture, Advanced Level (CPSA-A).
Der Abschluss eines FM-Kurses führt nicht zu einem eigenständigen "FM-Zertifikat". Stattdessen erhalten Sie 30 Credit Points für die Zulassung zur CPSA-A-Zertifizierungsprüfung: 10 in der technischen, 10 in der methodischen und 10 in der kommunikativen Kompetenz.
Um die CPSA-A-Zertifizierung zu beantragen, müssen Teilnehmende das CPSA Foundation Level (CPSA-F) besitzen, die Voraussetzungen zur Berufserfahrung erfüllen und mindestens 70 Credit Points aus mindestens drei Kompetenzbereichen gesammelt haben. Die CPSA-A-Zertifizierungsprüfung basiert auf einer Hausarbeit, gefolgt von einer Bewertung und einer mündlichen Prüfung durch vom iSAQB ernannte Experten.
Offizielle Quellen: iSAQB CPSA-A Modul FM Seite, FM Lehrplan (EN).
Was Sie erreichen werden
Lernergebnisse des Kurses
Wenden Sie Aussagenlogik, Prädikatenlogik erster Stufe und Operatoren der Temporallogik an, um Systemeigenschaften als präzise Formeln auszudrücken.
Analysieren Sie Beweisstile und logische Kalküle, einschließlich natürlichem Schließen, Sequenzenkalkül und Resolution. Unterscheiden Sie klassische von intuitionistischer Logik bei der Auswahl eines Argumentationsansatzes.
Erstellen Sie formale Spezifikationen für Funktionen, Datentypen, Algorithmen oder ganze Systeme. Unterscheiden Sie zwischen informellen, formalen und mechanisierten Spezifikationen.
Entwerfen Sie einen Verfeinerungsansatz, der Spezifikation, Zwischenmodelle und Implementierung verknüpft. Erkennen Sie, wann ein separates Modell zwischen Spezifikation und Code erforderlich ist.
Bewerten Sie, an welchen Stellen formale Methoden in den Entwicklungsprozess passen. Wählen Sie geeignete Methoden basierend auf Zielqualitäten wie Funktionalität, Leistungseffizienz, Sicherheit oder Betriebssicherheit aus.
Führen Sie Verifizierungsaktivitäten mit ausgewählten Werkzeugfamilien durch, einschließlich eigenschaftsbasiertem Testen, Model Checking, Beweisassistenten, SMT-Solvern und abstrakter Interpretation. Interpretieren Sie die Ergebnisse und deren Grenzen.
Analysieren Sie Typsysteme, einschließlich der Rolle abhängiger Typen. Beurteilen Sie, wie Typisierung das formale Schließen und die Verifizierung von Programmeigenschaften unterstützt.
Bewerten Sie eine Softwarearchitektur mit formalen Methoden. Nutzen Sie SMT- oder SAT-Solving für Probleme mit Architekturvorgaben und unterstützen Sie die Architekturbewertung sowie die kontinuierliche Verfeinerung.
Schulungsanbieter
1 AnbieterHäufige Fragen
Individuelle Inhouse-Schulung
Einmal anfragen, Angebote von mehreren Anbietern erhalten. Wählen Sie das passende Angebot für Ihr Team.
Ähnliche Schulungen
iSAQB® Foundation Level Zertifizierung (CPSA-F)
Das iSAQB Foundation Level (CPSA-F) Training behandelt den Entwurf und die Dokumentation von Softwarearchitekturen für kleine und mittlere Systeme. Es vermittelt Architekten und Entwicklern, wie Anforderungen in technische Strukturen übertragen werden. Wichtige Themen sind: Rollen und Definitionen von Architekten. Entwurfsmuster und Prinzipien. Methoden zur Dokumentation von Entscheidungen. Verfahren zur Qualitätsbewertung. Praktische Übungen und Theorie bereiten Sie auf die offizielle CPSA-F-Prüfung vor.
iSAQB® ADOC - Zertifizierung für Architektur-Dokumentation
Das iSAQB® Architecture Documentation (ADOC) Training ist ein Advanced Level Modul innerhalb des Certified Professional for Software Architecture (CPSA-A) Programms. Der Kurs zeigt, wie Softwarearchitekturen klar und strukturiert dokumentiert werden, damit Entwickler, Architekten und Stakeholder diese verstehen und in echten Projekten nutzen können. Teilnehmer lernen, wie sie eine Architekturdokumentation erstellen, die die Kommunikation, Entscheidungsfindung und die langfristige Wartung von Systemen unterstützt. Das Training nutzt bekannte Methoden wie arc42 , gängige Diagrammtypen und klare Dokumentationsregeln, die in der professionellen Softwarearchitektur weit verbreitet sind. Der Kurs erklärt auch, wie gute Dokumentation Teams dabei hilft, Wissen zu teilen, Missverständnisse zu verringern und Systeme bei zunehmendem Wachstum wartbar zu halten. Durch praktische Beispiele und Übungen lernen Teilnehmer, wie sie Architekturentscheidungen beschreiben, Dokumentationen strukturieren und komplexe Systeme einfach und einheitlich darstellen.
iSAQB® AGILA - Zertifizierung für agile Softwarearchitektur
Das Modul iSAQB® AGILA ist eine Advanced Level-Schulung innerhalb des Programms zum Certified Professional for Software Architecture - Advanced Level (CPSA-A) . Der Kurs konzentriert sich darauf, wie Softwarearchitektur in agilen Entwicklungsumgebungen funktioniert. Teilnehmer lernen, Softwaresysteme in agilen Teams zu entwerfen und weiterzuentwickeln, in denen die Architekturverantwortung geteilt wird . Die Schulung zeigt, wie Architekten und Entwickler während kurzer Entwicklungszyklen Architektur-Entscheidungen treffen und dabei die Systeme stabil und wartbar halten. Der Kurs erklärt zudem, wie Architektur, Geschwindigkeit und Qualität in agilen Projekten in Einklang gebracht werden. Zu den Themen gehören gemeinschaftliche Design-Praktiken, kontinuierliche Architekturarbeit und praktische Ansätze zur Identifizierung und zum Management von technischen Schulden während der iterativen Entwicklung.
iSAQB® ARCEVAL - Zertifizierung für Architekturbewertung
Der iSAQB ARCEVAL Kurs vermittelt systematische Methoden zur Bewertung von Softwarearchitekturen. Dieses Modul des Certified Professional for Software Architecture (CPSA) Advanced Level hilft Fachkräften zu prüfen, ob ein System seine Qualitätsanforderungen erfüllt. ATAM: Identifizierung von Risiken und Abwägungen im Design. Qualitätsmodelle: Nutzung von ISO/IEC 25010 zur Definition von Softwarequalität. Review-Techniken: Durchführung von Audits mittels Checklisten und Walkthroughs. Wirtschaftliche Bewertung: Analyse von Kosten und Nutzen technischer Entscheidungen. Diese Schulung richtet sich an Softwarearchitekten und Senior-Entwickler, die technische Entscheidungen begründen müssen. Teilnehmende lernen, Ergebnisse zu dokumentieren und klare Empfehlungen zu geben. Der Abschluss erbringt Credit Points für das iSAQB CPSA-A Zertifikat.
iSAQB® CLOUDINFRA - Advanced Level Zertifizierung
Das iSAQB® CLOUDINFRA Training macht Sie mit den grundlegenden Konzepten und Implementierungsmethoden von dynamischen Cloud-Native-Architekturen vertraut. Wie können Sie Anwendungen mit Containern zuverlässig betreiben, welche Methoden lassen sich für den Aufbau eines zielorientierten Monitorings nutzen und wie erstellen Sie ein bedarfsgerechtes Alerting-System?
iSAQB® DDD - Domain Driven Design Training
iSAQB® Domain Driven Design (DDD) ist ein iSAQB-Modul für Fortgeschrittene, in dem Sie lernen, eine Sprache zu entwickeln und DDD-Modelle zu nutzen, um verschiedene Anwendungen zu verbinden. Anhand von Beispielanwendungen lernen Sie die einzelnen Schritte im DDD-Training bei tecnovy. Es handelt sich um eine anwendungsorientierte und hochwertige Softwarearchitektur.