Aller au contenu

Détails

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é"

Les membres s'intéressent également à