Self-verifying Systems: Challenges and Perspectives / Prof. Dr. Christoph Lüth
Sprache des Titels:
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.