Liliana Cucu-Grosjean (Equipe Kopernic – Inria Paris) s’est rendu à l’IRT SystemX le 3 mars pour animer un séminaire sur le thème « Probabilistic and statistical approaches for proving time properties of cyber-physical systems ».
Résumé (en anglais):
Since the early work of Lehoczky on real-time queuing theory, probabilistic approaches have addressed many aspects of real-time systems. This presentation starts with the existing misconceptions while using probabilistic approaches for real-time systems. Their correct understanding could provide a powerful framework for ensuring compositionable time properties of embedded systems. From program level to system level, the presentation details how the design of an embedded system may benefit from a better utilisation of probabilities while providing means to prove the expected results.
Biographie (en anglais) :
Liliana Cucu-Grosjean leads the Kopernic team at INRIA, Paris. After a first degree in Mathematics, she has obtained her MSc in Physics from University of Low Danube (Romania), her PhD in Computer Science from University of Paris Sud and her HDR from Sorbonne University. Author of more than 50 papers in recognized journal and conferences, her research topic concerns real-time scheduling, timing analysis and the use of probabilistic and statistical methods for cyber-physical systems, in general. She has been serving the community as PC or track chair for prestigious conferences (IEEE RTSS, DATE, RTCSA, RTNS or WFCS), or as member of steering committees like IEEE Technical Committee on Real-Time Systems where she has chaired the diversity sub-committee from 2016 to 2019. At national level, she is the co-founder and the current co-chair of Inria Equal Opportunities Committee. Last, not least, she has been the co-founder of the start-up Statinf since September 2018.