This is a presentation made during the 2021 SHARC day, a workshop on Software and Hardware Architectures for Robot Control from the French annual meeting of GT4 (Architecture de Contrôle) of GdR Robotique.
video of the presentation (in French 🇫🇷)
Reference#
Hippo: A formal-model execution engine to control and verify critical real-time systems
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin Journal of Systems and Software 181, nov 2021.