Computer Science Colloquium
Prof. Dr. Christoph Lüth
DFKI GmbH, Bremen, Germany
Self-verifying Systems: Challenges and Perspectives
Wed 27.02.2019, 11:00, 60 minutesJKU, Science Park 2, room S2 Z74
Abstract
Contemporary embedded or cyber-physical systems have become powerful and versatile. The resulting huge state space of these systems makes their verification very challenging if not impossible. A possible solution is to have systems verify their correctness _after_ deployment instead of during development; the key advantage of this is that the self-verifying system can take into account information about its deployment context, instantiate several system parameters, and so reduce the state space drastically. This raises several questions: how can we build such systems, how can we transfer specifications at development time into statements to be proven at run-time, and how can we instantiate parameters after deployment? In the talk, these questions will be addressed and first steps towards self-verifying systems will be presented, including a methodology on how to build and verify systems, case studies, and strategies how to reduce the state space most effectively.Bio
Christoph Lüth is vice director of the research department Cyber-Physical Systems group at the German Research Centre for Artificial Intelligence (Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI) in Bremen.His research covers the whole area of advanced system development, from theoretical foundations as found in category theory to the development of tools to construct or verify software, and applications in practical areas such as robotics. The overall theme of his work is how to reliably construct correct software.
He holds a PhD from the University of Edinburgh, and a Habilitation from the University of Bremen, where had been working as a lecturer (associate professor) prior to joining DFKI at the start of 2006. He has authored or co-authored over fifty peer-reviewed papers, and was the principal investigator in several research projects.
In addition to his work at DFKI, he is a professor for computer science at the University of Bremen, and is regularly teaching courses about functional programming and formal methods.
Invited by Univ.-Prof. Dr. Robert Wille, Institut für Integrierte Schaltungen, Abteilung Integrierter Schaltungs- und Systementwurf
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).