• Semaine 1 (29 janvier 2024), Introduction aux logiciels embarqués critiques -- Feuille d'exercices -- Solutions
  Enseignant: Alexandre Chapoutot
  Résumé: Cette séance a pour objectif de faire un bref panorama des normes de développement logiciel dans le cadre de logiciels critiques.
• Semaine 2 (5 février 2024), Ansys SCADE Suite - partie flots de données -- Feuille d'exercices -- Solutions
  Enseignant: Alexandre Chapoutot
  Résumé: Présentation de l'atelier de conception logicielle SCADE avec un focus sur la partie langage orientée flots de données
• Semaine 3 (12 février 2024), Ansys SCADE Suite - partie machine à états -- Feuille d'exercices -- Solutions
  Enseignant: Alexandre Chapoutot
  Résumé: Présentation de l'atelier de conception logicielle SCADE avec un focus sur la partie langage machine à états
• Semaine 4 (26 février 2024), Génération automatique de code
  Enseignant: Alexandre Chapoutot
  Résumé: Introduction à la génération automatique de code à partir de modèles SCADE. La séance de TP est réservée pour le projet.
• Semaine 5 (4 mars 2024), Tests logiciels et tests de modèles
  Enseignant: Alexandre Chapoutot
  Résumé: Introducation à l'activité de tests logiciels et tests de modèles. La séance de TP est réservée pour le projet.
• Semaine 6 (11 mars 2024), Programmation synchrone et hybride en Simulink/Stateflow
  Enseignant: Alexandre Chapoutot
  Résumé: Présentation de l'environnement de développement Simulink/Stateflow dans le contexte du développement logiciel embarqué. La séance de TP est réservée pour le projet.
• Semaine 7 (18 mars 2024), Séance projet
  Enseignant: Alexandre Chapoutot
  Résumé: Séance projet
• Semaine 8 (25 mars 2024), Séance projet
  Enseignant: Alexandre Chapoutot
  Résumé: Séance projet