Software systems increasingly control many aspects of our lives, making their security ever more important—in a dual sense: security concerning life, health, or mission-critical areas, and security against intrusions, sabotage, and data leaks. For such software, we want it to reliably meet specific requirements. Simple testing is not sufficient, as it usually covers only certain scenarios—we want the software to behave correctly in all scenarios. This requires the application of mathematical techniques—so-called formal methods—which were previously a gap in the Advanced training portfolio that we have now closed.

The “FM – Formal Methods” module teaches software architects how to ensure the correctness of a system’s design and implementation through mathematical proofs. The module focuses on safety-critical, sensitive, or economically vital systems and goes beyond traditional architecture and testing methods by providing formal techniques to verify that software meets its requirements. By integrating formal methods early in the design phase, architects can create verifiable models that ensure a higher level of software quality and reliability.

No prior knowledge of mathematics or these technologies is required. Previously attending an iSAQB Advanced training on Functional Software Architecture or Domain-Specific Languages is not mandatory but can facilitate understanding.