L’objectif de ce cours est de présenter les concepts fondamentaux de la conception dirigée par les modèles dans le cadre de la conception des systèmes de contrôle-commande avec génération automatique de code.
Cette conception dirigée par les modèles s'appuie grandement sur les langages réactifs synchrones qui seront également introduit durant le cours.
Les travaux pratiques s'appuieront sur le logiciel ANSYS SCADE (http://www.esterel-technologies.com/products/scade-suite/) qui permet la modélisation data-flow et événementiel avec une particularité d'être associé à un générateur de code qualifiable pour les systèmes les plus critiques.
La problématique de test logiciel en lien avec les modèles, et, en particulier, la notion de couverture de modèles sera également traitée dans le cours.
En fin de cours, un lien avec les outils Matlab/Simulink/Stateflow permettra de faire un lien avec les systèmes en boucle fermée.
Cette conception dirigée par les modèles s'appuie grandement sur les langages réactifs synchrones qui seront également introduit durant le cours.
Les travaux pratiques s'appuieront sur le logiciel ANSYS SCADE (http://www.esterel-technologies.com/products/scade-suite/) qui permet la modélisation data-flow et événementiel avec une particularité d'être associé à un générateur de code qualifiable pour les systèmes les plus critiques.
La problématique de test logiciel en lien avec les modèles, et, en particulier, la notion de couverture de modèles sera également traitée dans le cours.
En fin de cours, un lien avec les outils Matlab/Simulink/Stateflow permettra de faire un lien avec les systèmes en boucle fermée.
- Enseignant: Mélanie LIMACHE GOMEZ
- Enseignant: Alejandro REYMOND
- Enseignant: Sophie ROUX
- Enseignant responsable de l'UE: Omar HAMMAMI