Software needs Watchdogs
We advocate the increased real-time monitoring of software. However, only third-party monitors increase the trust in the monitored software, and only low-overhead monitors are widely acceptable. These restrictions have technical consequences. Third-party monitors cannot instrument the monitored source code. Low-overhead monitors must be best-effort so not to slow down the monitored software. Correspondingly, we build a theoretical framework for the online black-box monitoring of quantitative properties. Our monitors are not necessarily finite-state, and they may approximate the monitored properties. This allows for a rich spectrum of cost-precision trade-offs in monitoring. On the practical side, we build middleware for the approximate monitoring of heterogeneous event streams.
Speaker Biography
Thomas Henzinger is the president of the Institute of Science and Technology, Austria. He has been a faculty member at Cornell University and UC Berkeley. He is one of the most highly cited computer scientists.
His research is concerned with modern systems theory, particularly on the models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. He made several fundamental contributions in the area of software verification. His HyTech tool was the first model checker for mixed discrete-continuous systems.
He is a member of Academy of Sciences Leopoldina, Austrian Academy of Sciences, Academia Europaea, and Institute of Electrical and Electronics Engineers. He was awarded the 2015 Milner Award by the Royal Society. He received a Doctor honoris causa from the Masaryk University as well as the Wittgenstein Prize of the Austrian Science Fund. He is an ACM Fellow and an ISI Highly Cited Researcher in 2001.
