Keynote

"Probabilities - a key solution for tomorrow real-time compositional frameworks."

BIO: Liliana Cucu-Grosjean is a tenured researcher at Inria de Paris (AOSTE team) and she holds degrees in Mathematics (BSc), in Physics (MSc) and Computer Science (PhD and habilitation thesis). She has been an active researcher in Romania, France, Belgium and Portugal. She is INRIA main PI for numerous national and European projects focused on the study of real-time systems and she is the co-author of several seminal papers on probabilistic and statistical approaches for real-time system

ABSTRACT: Since the early work of Lehoczky on real-time queuing theory, probabilistic approaches have addressed many aspects of real-time systems. This presentation concentrates on the existing (recent and less recent) misconceptions while using probabilistic real-time systems and on how their correct understanding provides a powerful framework for ensuring composition-able time properties of embedded systems. From modeling to time validation, the presentation explains also how the design of an embedded system may benefit from a better utilisation of probabilities while providing means to prove their results.