Performance, dependability, and security are notoriously difficult to quantify at system design time. Yet, design decisions are known to be the prime source of difficult-to-fix embedded problems. While 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 behavioural evaluations are needed early in the design process. This talk will discuss a modest approach to deriving design-time guarantees for complex embedded 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. This modest approach is exemplified in the context of different power-aware embedded applications.
Holger Hermanns is a full professor at the Department of Computer Science at Saarland University, Saarbrücken, Germany, holding the chair for Dependable Systems and Software. His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, and compositional performance and dependability evaluation, including dependable energy distribution grids. In these areas, Holger Hermanns has authored or co-authored more than 150 peer-reviewed scientific papers, co-chaired the program committees of major international conferences such as TACAS 2006, CONCUR 2006, CAV 2007, and QEST 2012 and delivered keynotes among others at the CONCUR 2010, SEFM 2011, ETAPS/TACAS 2012, and ECC 2013 conferences. He has received the Dutch “Vernieuwingsimpuls” and the German “Preis des Fakultätentages Informatik” award, was Otto Mønsted-Guest Professor at the Technical University of Denmark, is elected member of Academia Europaea, coordinates the EU FP7 project MEALS, and holds several other national and European research grants.