Benoît Triquet has been with Airbus for over 11 years as a software engineer and operating system specialist for certified safety-critical avionics. Currently part of the digital cores architecture research group, he holds the position of Airbus Expert for embedded RTOS. He focuses on low-level software, dynamic design, parallelization of real-time software, incremental qualification and WCET analysis for IMA2G.