Probabilistically Analysable Real-Time Systems

Benoît Triquet

Benoît Triquet has been with Airbus for over 8 years as a software engineer and operating system specialist for certified safety-critical avionics. Currently part of the digital cores architecture research group. He focuses on operating systems, incremental qualification and WCET analysis for IMA2G.