Marktoberdorf Summer School 2024

August 6th - August 17th, 2024
Herrsching am Ammersee, Germany

Engineering Secure and Dependable Software Systems

An Advanced Study Institute supported by the
NATO Science for Peace and Security Program

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

Directors

Alexander Pretschner, TU München, fortiss, bidt, Germany

Peter Müller, ETH Zurich, Switzerland

Objective

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, in particular, 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. Starting from the logical and semantic foundations that enable reasoning about classical software systems, they extend to the development and verification of cyber-physical systems, which tightly combine computational and physical components, and have become pervasive in aerospace, automotive, industry automation, and consumer appliances. Safety and security have traditionally been considered separate; however, several lectures in this summer school will emphasize their commonalities and present analysis and construction techniques that apply to both.

Apply here!

Participants of the summer school will also have an opportunity to attend the co-located Workshop on Trusted Automatic Programming on Friday, August 16.