Cost-Utility Analysis in Probabilistic Models
Probabilistic model checking is a well-established method for the automated quantitative system analysis. Thanks to powerful tools, such as PRISM, MRMC or STORM, it has been used in various application areas such as coordination algorithms for distributed systems, communication and multimedia protocols, biological systems, resilient systems or security. In this talk, I will report on our experiences that we made in inter-disciplinary research projects where we contribute with formal methods for the analysis of hardware and software systems. Some obstacles, such as the state-explosion problem, were as expected. However, we also noticed several other shortcomings of existing techniques. Among others, there were several performance measures for the tradeoff between cost and utility that have been identified as highly relevant by the respective domain experts and that were not supported by state-of-the-art tools.
Speaker bio
Christel Baier is a full professor and head of the chair for Algebraic
and Logic Foundations of Computer Science at the Faculty of Computer
Science of the Technische Universität Dresden since 2006. From the
University of Mannheim she received her Diploma in Mathematics in 1990,
her Ph.D. in Computer Science in 1994 and her Habilitation in 1999. She
was an associate professor for Theoretical Computer Science at the
University of Bonn from 1999 to 2006. Her research focuses on model
checking, quantitative analysis of stochastic systems, concurrency
theory, automata theory and temporal logic. She is involved in several
projects, including the collaborative research center ''Highly-adaptive
energy efficient computing (HAEC)'', the cluster of excellence ''center
for Advanced Electronics Dresden (cfaed)'' and the research training
groups ''Quantitative automata and logics (QuantLA)'' and ''Role-based
software infrastructures for continuous context-sensitive systems
(RoSI)''. She is a member of the review board for computer science in
the German Research Foundation (2012-2020) and of Academia Europa (since
2011). She is editor-in-chief of the journal Acta Informatica and in the
steering committee of the conference FoSSaCS.