Marktoberdorf Summer School 2026
August 11th - August 22nd, 2026
Herrsching am Ammersee, Germany
Engineering Secure and Dependable Software Systems
Marktoberdorf Summer School 2026
August 11th - August 22nd, 2026
Herrsching am Ammersee, Germany
Engineering Secure and Dependable Software Systems
Organized by
fortiss - the research institute of the Free State of Bavaria for software-intensive systems and services
and the Department of Informatics, Technische Universität München
Peter Müller, ETH Zurich, Switzerland
Alexander Pretschner, TU München, fortiss, bidt, Germany
Almost all modern technical systems rely crucially on software. Communication, transportation, financial services, healthcare, power supply, military defense, and many other aspects of modern societies require software systems that are both safe and secure. Safe software behaves according to its specification and avoids hazards for the environment it is used in. Secure software ensures the confidentiality, integrity, and availability of data, even when a system is attacked by an adversary. Both safety and security violations potentially cause considerable economic, political, and physical damage. So, improving our understanding of safety and security and, thereby, enhancing our ability to construct safe and secure systems is a vital challenge for our society. The lectures in this summer school give an overview of the state of the art in the construction and analysis of safe and secure systems.