Michael Richard

Michael Richard is an Associate Professor at ISAE-ENSMA, affiliated with the Real Time Team within the LIAS laboratory. His research focuses on real-time systems engineering, particularly in scheduling algorithms, embedded systems, and avionic architectures, with over two decades of contributions to the field.

His primary research interests include real-time scheduling theory, model-based design methodologies, and distributed systems validation. Richard develops frameworks like MoSaRT to bridge design and scheduling analysis, emphasizing response time computation, task allocation, and criticality-aware scheduling for safety-critical applications in avionics and embedded domains.

Analysis of Richard's publications reveals consistent focus on fixed-priority scheduling, real-time transaction feasibility, and distributed system optimization. His work spans theoretical complexity analysis (e.g., self-suspending tasks) to practical tools for avionic architecture validation, demonstrating evolution from foundational scheduling principles to integrated model-based approaches addressing modern embedded system challenges.

Richard operates within the LIAS laboratory—a joint research unit between ISAE-ENSMA and ENSIP—where his Real Time Team collaborates on national and international projects. The team maintains strong industry connections in aerospace and automotive sectors, focusing on translating scheduling theory into deployable solutions for real-world real-time systems.