(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
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”.