(22h cours, 22h TP, projet)

Compétences visées :

Comprendre les principes de base de conception par modèle et de la programmation synchrone; les mettre en œuvre l’utiliser à travers un langage de programmation synchrone ; concevoir et valider des systèmes embarqués complexes.

Programme

• Généralités sur la programmation embarquée temps-réel critique.
• Conception basée sur modèle, cycle en Y, génération de code
• Approche synchrone, hypothèse synchrone
• Un langage/environnement de programmation synchrone (Scade)
  • modèle synchrone de Scade, flots et opérateurs
  • diagrammes de flots, causalité
  • 2nd ordre: conditions d’activation
  • automates
  • tableaux
  • 2nd ordre: itérateurs
  • généricité
• Validation de programmes
  • techniques de validation: revue de code, simulation, test, vérification
  • simulation en Scade
  • vérification (preuve) en Scade
    • observateurs des propriétés
    • utilisation du moteur de preuve
    • analyse des traces de diagnostic
• Projet: conception et validation d’un logiciel embarqué pour un système complexe.

Il est souhaitable d’ avoir des notions des automates, du génie logiciel, de la programmation fonctionnelle. Il est très recommandé de suivre au même temps l’enseignement “Modélisation et spécification”.