Marc Boyer

Marc Boyer is a Research Director at ONERA, the French Aerospace Lab, within the Department of Aerospace and Information Systems Technologies (DTIS). He is actively affiliated with the Université de Toulouse, where he teaches at the M2 level in computer science and engineering programs at UPS and ENSEEIHT. His research lies at the intersection of formal methods, real-time systems, and embedded networking, with a strong focus on network calculus and Time-Sensitive Networking (TSN).

• Institution: ONERA / DTIS
• Teaching Affiliations: Université de Toulouse (UPS, ENSEEIHT)
• Doctoral School: MITT (Mathematics, Computer Science, Telecommunications)

His research interests include formal verification of real-time networks, worst-case performance evaluation, scheduling models, and deterministic networking. He has made significant contributions to the theoretical and practical application of network calculus in avionics (AFDX), automotive, and space systems. His work bridges theory and industry applications, particularly in safety-critical domains.

His recent publications (2020–2024) show a consistent focus on refining network calculus models for TSN, CQF, credit-based shaping, and sporadic traffic integration. These works are published in top-tier venues such as ECRTS, RTAS, ETFA, and IEEE Transactions, indicating high impact and relevance in real-time systems research.

• Best Paper Award, JRWRTC 2023
• Best Paper Award, ICATPN 2007
• Co-chair, RTNS 2023 Program Committee
• Active in ECRTS, RTAS, DATE, ETFA program committees

Marc Boyer supervises multiple PhD students and offers internships through the MITT doctoral school. He leads the MOIS doctoral reception team and is involved in industrial challenges like Resilient TSN. He has developed tools like NC-maude for formal analysis and contributes to open research datasets and reproducibility. His work combines theoretical rigor with practical implementation, influencing both academic and industrial standards in deterministic networking.

He is also active in educational outreach, delivering lectures on digital transformation and cognitive biases in engineering, and promoting tools like Emacs for productivity.