Meetup #12 - Printemps 2019

Programme :

• Yannick Moy (AdaCore) : "Ada et SPARK - Plusieurs niveaux de défense pour la programmation sûre de MCU"
• Patrick Boettcher (Yaise) : "Mise à jour Linux embarqué à distance avec Barebox et RAUC"
• William Kazuro (AC6) : "Présentation de l'outil SW4STM32".

Si l'horaire le permet, une petite présentation supplémentaire de Patrick Boettcher : "Utiliser VCD/GTKWave pour debugger et profiler du code embarqué"