Computer Science Seminar - Dr. Maximilian Weiniger, Institute of Science and Technology Austria

Title: Title: Ensuring the Reliability of Software-Intensive Systems

Abstract:

Software-intensive system is a broad term for reactive systems that affect all of our lives, ranging from cyber-physical devices such as pacemakers to digital algorithms for IT security. As software-intensive systems perform critical tasks where failure can even lead to loss of human lives, they have to be *reliable*. Reliability can be proven using formal verification. Developing and implementing efficient formal verification algorithms is the first goal of my research. My second goal is to address the question how we can trust the input of formal verification, namely mathematical models of the system and the specification of its behaviour. To this end, I investigate models that are expressive enough to faithfully capture all relevant aspects of the real world, and I provide tools for validating these models.