{"id":21531,"date":"2025-02-26T10:39:48","date_gmt":"2025-02-26T09:39:48","guid":{"rendered":"https:\/\/www.isaqb.org\/?page_id=21531"},"modified":"2026-03-27T15:07:31","modified_gmt":"2026-03-27T14:07:31","slug":"fm","status":"publish","type":"page","link":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/","title":{"rendered":"FM"},"content":{"rendered":"\n\n\t\t\t
Certified Profes\u00adsional for Software Architecture (CPSA\u00ae<\/sup>)<\/h5>

Das CPSA\u00ae<\/sup>-Advanced-Level-Modul FM \u2013 iSAQB\u00ae<\/sup>-Training in Formale Methoden<\/h1>\t\t\t\n\t\t\t
MODUL FM<\/h5>

Formale Methoden<\/h3>\t\t\t\n\t\t\t\t

Bew\u00e4hrte Techniken und Archi\u00adtektur, um die Korrektheit eines Software\u00adsystems zu gew\u00e4hrleisten.<\/p>\n

\n\t\tCredit Points f\u00fcr FM Trainingskurse <\/h4>\n\t\t\t

Kompetenz in Technologie<\/h5>
TECH<\/h5>\t\t\t\n\t\t\t\t

20<\/p>\n\t\t\t

Kompetenz in Methodik<\/h5>
Method<\/h5>\t\t\t\n\t\t\t\t

10<\/p>\n\t\t\t

Kompetenz in Kommunikation<\/h5>
Komm<\/h5>\t\t\t\n\t\t\t\t

0<\/p>\n\t

FM<\/p>\n\t\t\t\t\"advanced-level-diagramm-placeholder\"\n\t\t\t

Inhalte des Moduls Formale Methoden (FM) <\/h3>\t\t\t\n\t\t\t

Wie verbessern formale Methoden die Software\u00adarchitektur im Vergleich zu herk\u00f6mm\u00adlichen Ans\u00e4tzen und welche Heraus\u00adfor\u00adde\u00adrungen bringen sie mit sich?<\/h3>\t\t\t\n\t\t\t\t

Dieser Lehrplan soll eine Sammlung formaler Methoden bereit\u00adstellen, die das tradi\u00adtio\u00adnelle Arsenal von Architekt:innen erg\u00e4nzen und ersetzen. Diese Methoden f\u00fchren zu mathe\u00adma\u00adti\u00adschen Beweisen kriti\u00adscher System\u00adei\u00adgen\u00adschaften. Dabei ist zu beachten, dass solche Beweise in der Regel nicht nachtr\u00e4glich f\u00fcr die Archi\u00adtektur eines Systems erbracht werden k\u00f6nnen. Statt\u00addessen muss die Archi\u00adtektur von Anfang an so konzi\u00adpiert werden, dass sie f\u00fcr einen solchen Nachweis geeignet ist. W\u00e4hrend das Entwerfen und Erstellen von Systemen, die f\u00fcr verschiedene Arten von automa\u00adti\u00adsierten Tests geeignet sind \u2013 wie z. B. Unit\u2011, Integrations\u2011, Akzeptanz- und Eigen\u00adschafts\u00adtests \u2013 g\u00e4ngige Praxis ist und durch g\u00e4ngige Techno\u00adlogie-Stacks gut unter\u00adst\u00fctzt wird, ist der Aufwand f\u00fcr die Integration formaler Methoden in ein Design wesentlich h\u00f6her. So erfordert beispiels\u00adweise die Herstellung einer formalen Verbindung zwischen Spezi\u00adfi\u00adkation und Imple\u00admen\u00adtierung eine sorgf\u00e4ltige Auswahl der Spezi\u00adfi\u00adka\u00adtions- bzw. Programmiersprachen.<\/p>\n

Um formale Methoden anwenden zu k\u00f6nnen, m\u00fcssen Architekt:innen wichtige Eigen\u00adschaften des Software\u00adsystems mathe\u00adma\u00adtisch formu\u00adlieren, eine Archi\u00adtektur erstellen, die diese Eigen\u00adschaften gew\u00e4hr\u00adleisten kann, und diese dann formal verifi\u00adzieren. Die Erstellung einer Archi\u00adtektur, die f\u00fcr die Verifi\u00adzierung geeignet ist, erfordert sorgf\u00e4ltige \u00dcberle\u00adgungen und ein hohes Ma\u00df an Architekturkompetenz.<\/p>\n\t\t\t\n\t\t\t\t\t\t\t\tFM-Lehrplan herunterladen <\/a>\n\t\t\t\n\t\t\t\t\t\t\t\tFinden Sie ein akkre\u00addi\u00adtiertes FM-Training <\/a>\n\t\t\t

Blogbei\u00adtr\u00e4ge zu FM<\/h1>\t\t\t\n\t\n\t\"iSAQB-blog-module-FM-WEB-v1\"<\/a>\n 24\n Feb 2025 

\n \n \u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden\n \tEin Interview mit den Kuratoren Michael Sperber und Lars Hupel <\/a>\n <\/h2>\n \t4 Minuten Lesezeit \n \t

Michael Sperber und Lars Hupel er\u00f6rtern, warum formale Methoden f\u00fcr die Gew\u00e4hr\u00adleistung der Korrektheit von Software unerl\u00e4sslich sind, insbe\u00adsondere bei sicher\u00adheits\u00adkri\u00adti\u00adschen Systemen. Das Modul vermittelt, wie diese mathe\u00adma\u00adti\u00adschen Techniken in den Entwick\u00adlungs\u00adprozess integriert werden k\u00f6nnen, um die Zuver\u00adl\u00e4s\u00adsigkeit zu gew\u00e4hrleisten.<\/p>\n \tRead More<\/a>\n\t\t\t

Zus\u00e4tz\u00adliche Informationen<\/h2>\t\t\t\n\t\t\t

Fragen & Antworten<\/h3>\t\t\t\n\t\t\t\n\t\t\t\t\t\t\tZu Allen FAQs <\/a>\n\t\t\t

Downloads<\/h3>\t\t\t\n\t\t\t\n\t\t\t\t\t\t\tZu Allen Downloads <\/a>\n\n","protected":false},"excerpt":{"rendered":"

Certified Profes\u00adsional for Software Architecture (CPSA\u00ae) Das CPSA\u00ae-Advanced-Level-Modul FM \u2013 iSAQB\u00ae-Training in Formale Methoden MODUL FM Formale Methoden Bew\u00e4hrte Techniken und Archi\u00adtektur, um die Korrektheit eines Software\u00adsystems zu gew\u00e4hr\u00adleisten. Credit Points f\u00fcr FM Trainings\u00adkurse Kompetenz in Techno\u00adlogie TECH 20 Kompetenz in Methodik Method 10 Kompetenz in Kommu\u00adni\u00adkation Komm 0 FM Inhalte des Moduls Formale Methoden\u2026<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":7871,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"wp_typography_post_enhancements_disabled":false},"yoast_head":"\niSAQB CPSA Advanced Training: Formale Methoden<\/title>\n<meta name=\"description\" content=\"Certified Professional for Software Architecture: CPSA-Advanced-Modul FM \u2013 iSAQB-Training in Formale Methoden. \u25ba Jetzt teilnehmen!\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"iSAQB CPSA Advanced Training: Formale Methoden\" \/>\n<meta property=\"og:description\" content=\"Certified Professional for Software Architecture: CPSA-Advanced-Modul FM \u2013 iSAQB-Training in Formale Methoden. \u25ba Jetzt teilnehmen!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/\" \/>\n<meta property=\"og:site_name\" content=\"iSAQB \u2013 International Software Architecture Qualification Board\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-27T14:07:31+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.isaqb.org\/wp-content\/uploads\/2024\/08\/advanced-level-diagramm-placeholder.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 Minuten\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.isaqb.org\/de\/#organization\",\"name\":\"iSAQB\\u00ae - International Software Architecture Qualification Board\",\"url\":\"https:\/\/www.isaqb.org\/de\/\",\"sameAs\":[],\"logo\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.isaqb.org\/de\/#logo\",\"inLanguage\":\"de-DE\",\"url\":\"https:\/\/www.isaqb.org\/wp-content\/uploads\/2020\/03\/logobig.gif\",\"contentUrl\":\"https:\/\/www.isaqb.org\/wp-content\/uploads\/2020\/03\/logobig.gif\",\"width\":300,\"height\":140,\"caption\":\"iSAQB\\u00ae - International Software Architecture Qualification Board\"},\"image\":{\"@id\":\"https:\/\/www.isaqb.org\/de\/#logo\"}},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.isaqb.org\/de\/#website\",\"url\":\"https:\/\/www.isaqb.org\/de\/\",\"name\":\"iSAQB \\u2013 International Software Architecture Qualification Board\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/www.isaqb.org\/de\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.isaqb.org\/de\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"de-DE\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#primaryimage\",\"inLanguage\":\"de-DE\",\"url\":\"https:\/\/www.isaqb.org\/wp-content\/uploads\/2024\/08\/advanced-level-diagramm-placeholder.png\",\"contentUrl\":\"https:\/\/www.isaqb.org\/wp-content\/uploads\/2024\/08\/advanced-level-diagramm-placeholder.png\",\"width\":500,\"height\":312},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#webpage\",\"url\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/\",\"name\":\"iSAQB CPSA Advanced Training: Formale Methoden\",\"isPartOf\":{\"@id\":\"https:\/\/www.isaqb.org\/de\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#primaryimage\"},\"datePublished\":\"2025-02-26T09:39:48+00:00\",\"dateModified\":\"2026-03-27T14:07:31+00:00\",\"description\":\"Certified Professional for Software Architecture: CPSA-Advanced-Modul FM \\u2013 iSAQB-Training in Formale Methoden. \\u25ba Jetzt teilnehmen!\",\"breadcrumb\":{\"@id\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#breadcrumb\"},\"inLanguage\":\"de-DE\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.isaqb.org\/de\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Zerti\\u00adfi\\u00adzie\\u00adrungen\",\"item\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Zerti\\u00adfi\\u00adzie\\u00adrungen \\u00dcbersicht\",\"item\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"CPSA-Advanced Level\",\"item\":\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"FM\"}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"iSAQB CPSA Advanced Training: Formale Methoden","description":"Certified Professional for Software Architecture: CPSA-Advanced-Modul FM \u2013 iSAQB-Training in Formale Methoden. \u25ba Jetzt teilnehmen!","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/","og_locale":"de_DE","og_type":"article","og_title":"iSAQB CPSA Advanced Training: Formale Methoden","og_description":"Certified Professional for Software Architecture: CPSA-Advanced-Modul FM \u2013 iSAQB-Training in Formale Methoden. \u25ba Jetzt teilnehmen!","og_url":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/","og_site_name":"iSAQB \u2013 International Software Architecture Qualification Board","article_modified_time":"2026-03-27T14:07:31+00:00","og_image":[{"url":"https:\/\/www.isaqb.org\/wp-content\/uploads\/2024\/08\/advanced-level-diagramm-placeholder.png"}],"twitter_card":"summary_large_image","twitter_misc":{"Gesch\u00e4tzte Lesezeit":"2 Minuten"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Organization","@id":"https:\/\/www.isaqb.org\/de\/#organization","name":"iSAQB\u00ae - International Software Architecture Qualification Board","url":"https:\/\/www.isaqb.org\/de\/","sameAs":[],"logo":{"@type":"ImageObject","@id":"https:\/\/www.isaqb.org\/de\/#logo","inLanguage":"de-DE","url":"https:\/\/www.isaqb.org\/wp-content\/uploads\/2020\/03\/logobig.gif","contentUrl":"https:\/\/www.isaqb.org\/wp-content\/uploads\/2020\/03\/logobig.gif","width":300,"height":140,"caption":"iSAQB\u00ae - International Software Architecture Qualification Board"},"image":{"@id":"https:\/\/www.isaqb.org\/de\/#logo"}},{"@type":"WebSite","@id":"https:\/\/www.isaqb.org\/de\/#website","url":"https:\/\/www.isaqb.org\/de\/","name":"iSAQB \u2013 International Software Architecture Qualification Board","description":"","publisher":{"@id":"https:\/\/www.isaqb.org\/de\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.isaqb.org\/de\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"de-DE"},{"@type":"ImageObject","@id":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#primaryimage","inLanguage":"de-DE","url":"https:\/\/www.isaqb.org\/wp-content\/uploads\/2024\/08\/advanced-level-diagramm-placeholder.png","contentUrl":"https:\/\/www.isaqb.org\/wp-content\/uploads\/2024\/08\/advanced-level-diagramm-placeholder.png","width":500,"height":312},{"@type":"WebPage","@id":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#webpage","url":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/","name":"iSAQB CPSA Advanced Training: Formale Methoden","isPartOf":{"@id":"https:\/\/www.isaqb.org\/de\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#primaryimage"},"datePublished":"2025-02-26T09:39:48+00:00","dateModified":"2026-03-27T14:07:31+00:00","description":"Certified Professional for Software Architecture: CPSA-Advanced-Modul FM \u2013 iSAQB-Training in Formale Methoden. \u25ba Jetzt teilnehmen!","breadcrumb":{"@id":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#breadcrumb"},"inLanguage":"de-DE","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.isaqb.org\/de\/"},{"@type":"ListItem","position":2,"name":"Zerti\u00adfi\u00adzie\u00adrungen","item":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/"},{"@type":"ListItem","position":3,"name":"Zerti\u00adfi\u00adzie\u00adrungen \u00dcbersicht","item":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/"},{"@type":"ListItem","position":4,"name":"CPSA-Advanced Level","item":"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/"},{"@type":"ListItem","position":5,"name":"FM"}]}]}},"_links":{"self":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/pages\/21531"}],"collection":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/comments?post=21531"}],"version-history":[{"count":9,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/pages\/21531\/revisions"}],"predecessor-version":[{"id":24529,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/pages\/21531\/revisions\/24529"}],"up":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/pages\/7871"}],"wp:attachment":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/media?parent=21531"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}