On-line Testing and Monitoring of Real-Time Systems
Highlighting and revisiting online testing and monitoring of real-time systems with respect to properties expressed as Timed I/O Automata, Metric Interval Temporal Logic or Timed Büchi Automata.
On Wednesday 23rd of November we welcome Professor Kim G. Larsen from Aalborg University for a talk at Reykjavík University. The talk will take place in room M209 at 14:00.
Abstract: In this talk we highlight and revisit online testing and monitoring of real-time systems with respect to properties expressed as Timed I/O Automata, Metric Interval Temporal Logic or Timed Büchi Automata. We offer efficient symbolic online algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include treatment of non-determinism, time divergence, timing uncertainty, remote and contextual monitoring and testing, and, on-line minimum time estimates before conclusive verdicts can be made.
Bio sketch: Kim G. Larsen is professor at the Department of Computer Science at Aalborg University and the director of the ICT-competence center CISS, Center for Embedded Software Systems. He is also a VILLUM Investigator for the project "S4OS: Scalable analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems." He is one of the world leaders in modeling and semantics, verification and logic, concurrency theory, performance analysis of real-time, embedded and cyber-physical systems, model checking and machine learning with numerous application in transport, energy and water management. Kim is life-long member of the Royal Danish Academy of Sciences and Letters, Copenhagen, and of the Danish Academy of Technical Sciences. In 2007 he became Knight of the Order of the Dannebrog. He holds honorary doctorates from Uppsala University, Sweden, and ENS Cachan, France.
In 2013 he received the CAV Award for his work on UPPAAL “the foremost model checker for real-time systems”---see http://www.uppaal.org/. In 2015 he was awarded a prestigious ERC Advanced Grant for the project "LASSO for learning, analysis, synthesis and optimization of cyber physical systems." Kim is also Foreign Expert of China, Distinguished Professor, Northeastern University, China (2018-to date) and INRIA International Chair, France (2016-to date).
