Conception des Logiciels Embarqués (IoT)

L’objectif de cette UE est de former les étudiants aux méthodologies de programmation spécifiques aux systèmes embarqués.

  • Introduction aux systèmes embarqués. 
    • Caractéristiques, contraintes, objectifs.
  • Les machines à états
    • Le machines à états finis
    • Machines étendues
    • Statecharts
    • Techniques d’implémentation et génération de code
  • Les systèmes de contrôle continu
    • Transformé de Laplace
    • Modélisation et simulation avec Octave
    • Le controleur PID
    • Lieu des racines
  • Systèmes data-flow
    • Dataflow synchrone et asynchrone
    • Le langage Lustre
    • Programmation multi-thread des systèmes data-flow
  • Vérification
    • Le automates temporisés
    • L'outil UPPAAL
    • Vérification des automates temporisés