BSR lecture: Thursday July 5th, 9:00-10:30
Title: Quantitative Modelling – From Fiji to Earth Orbit
Abstract: Performance, dependability, and security are notoriously difficult to get right at system design time. Yet, design decisions are known to be the prime source of difficult-to-fix embedded problems. For low budget or experimental designs it might suffice to perform some back-of the-envelope calculations, a few component measurements, a bit of spreadsheeting, maybe a rough Matlab model. But for mission critical or high volume applications deeper quantitative evaluations are needed early in the design process. This presentation will discuss a modest approach to deriving design-time guarantees for complex data driven behaviours, leveraging foundational insights to practical problems. The approach revolves around the stochastic timed automata formalism, and is supported by a portfolio of quantitative model checking techniques and tools. This modest approach is exemplified in the context of different power-aware embedded applications, ranging from stability studies of electric power grids in Europe compared to the South Pacific, to the interoperability of components in light electric vehicles, to the control of nano-satellites in low-earth orbit.
Short bio: Holger Hermanns is a full professor in computer science at Saarland University in Germany, heading the Dependable Systems and Software group. From April 2004 to March 2006, Holger Hermanns has served as Dean of Studies of the Faculty of Mathematics and Computer Science, and has served as its Dean from April 2010 to March 2012. Afterwards he did his best to serve as Dean of Hearts. Holger Hermanns is elected member of Academia Europaea. In 2016 he got awarded an ERC Advanced Grant.