Hosted Dr. Mitra Nasri for an invited talk 'Past, Present, and Future Trends in Real-Time Systems Research'.

Abstract: Real-time systems are pervasive in the automotive, robotics, smart industry, manufacturing, and healthcare domains, where the system’s safety, dependability, or quality of service depends on both functional and temporal correctness, namely, performing the right actions at the right time. Guaranteeing temporal correctness often involves bounding the worst-case end-to-end response-time of the system (e.g., from the moment input data are sent by a sensor to the moment the system responds to it). Bounding the response-time, in turn, requires detailed knowledge about how the underlying hardware platform, operating system, and software components/applications interact with each other and how that interaction influences the timing behavior of the system. This talk presents the past, current, and future trends in modeling, designing, and verifying real-time systems. It walks through the challenges that new hardware, software, and network technologies introduce in the verification of temporal correctness and discusses existing solutions and open research problems.

Short Bio: Mitra Nasri is an Assistant Professor at the IRIS group in the Mathematics and Computer Science Department of the Eindhoven University of Technology (TU/e). She received her PhD from the University of Tehran, in 2015. Before joining TU/e, she was an assistant professor at Delft University of Technology (TUDelft), a postdoc fellow at the Max Planck Institute for Software Systems (MPI-SWS), Germany, and a postdoc researcher at TU-Kaiserslautern, Germany. Her research interests include modeling, designing, and verifying real-time systems. She has contributed to several outstanding scheduling policies for embedded real-time systems and a formal verification framework for timing analysis and assessment of temporal correctness of multicore real-time systems. To date, she has published more than 50 papers on those topics in peer-reviewed conferences and journals. Her research has been recognized by the Best-Paper Award of RTAS’22 and RTNS’16, and the Outstanding-Paper Award of RTSS’20 and RTAS’17. Since 2022, she has been an executive member of the IEEE Technical Committee on Real-Time Systems (TCRTS) which steers RTSS, RTAS and ICCPS conferences, and the IEEE Benelux chapter on Communication and Vehicular Technology (COM/VT). She has received a Delft Technology Fellowship Award (2018), an Alexander von Humboldt Fellowship Award for post-doctoral researchers (2016), and a German Academic Exchange Service (DAAD) scholarship for young researchers (2013).

Anuj Pathania
Anuj Pathania
Assistant Professor

Anuj Pathania is an Assistant Professor in the Parallel Computing Systems (PCS) group at the University of Amsterdam (UvA). His research focuses on the design of sustainable systems deployed in power-, thermal-, energy- and reliability-constrained environments.