Holger Hermanns - From Concurrency Models to Numbers: Performance, Dependability, Energy

14:00
Jeudi
1
Déc
2011
Organisé par : 

L’équipe "Keynote Speeches" du LIG

Intervenant : 

Holger Hermanns, Saarland University, Germany


Information détaillée : 

Prof. Holger Hermanns is chair for Dependable Systems and Software, and Dean of the Faculty of Mathematics and Computer Science at Saarland University, Germany. He studied at the University of Bordeaux, France, and the University of Erlangen-Nürnberg, Germany, where he received a diploma (with honours) in 1993 and a Doctoral degree (with honours) in 1998. He is the first ever computer science laureate of the Dutch national innovation award ’Vernieuwingsimpuls’ (2001). His research interests include modelling and verification of concurrent systems, resource-aware embedded systems, and compositional performance and dependability evaluation. In these areas he has authored or co-authored more than 120 peer-reviewed scientific papers (h-index 35). He is a founding member and principal investigator of the German special research initiative AVACS and holder of several other national and European research grants.

 

Résumé : 

Is it a good idea to ride a bike with a wireless brake ? How to dimension buffer sizes in a NoC ? What availability can be expected for Gallileo IOV ? Might photovoltaic overproduction blow out the European electricity network ? Maybe. Maybe not. Probably ? The era of power-aware, wireless and distributed systems of systems asks for strong quantitative answers to such questions.

This talk introduces a promising attack on this challenge. The approach merges two well-established strands of informatics research and practice : verification of concurrent systems and performance evaluation. Instead of guaranteeing that a system is performing the expected tasks, we are ultimately interested in guaranteeing that the system performs its task within a given time bound and with (energy) costs within a given limit. Or better : that the probability thereof is above a given threshold. This presentation paints the landscape of behavioural models for probability, time, and cost, with a mild focus onconcurrent Markov models and process calculi. It discusses foundational aspects of compositional modelling and model checking such systems, and show how these techniques are applied in different real-life cases.