Descriptif
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.
- Cours d'improvisation et théatre : 26
Diplôme(s) concerné(s)
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées
Le rattrapage est autorisé (Max entre les deux notes écrêté à une note seuil)- le rattrapage est obligatoire si :
- Note initiale < 6
- le rattrapage peut être demandé par l'étudiant si :
- 6 ≤ note initiale < 10
- Crédits ECTS acquis : 2.1 ECTS
Le coefficient de l'UE est : 2.1
La note obtenue rentre dans le calcul de votre GPA.
L'UE est évaluée par les étudiants.
Programme détaillé
1. Bloc de module en salle info
Introduction aux systèmes embarqués et à la conception dirigée par les modèles.
Présentation du contexte et des contraintes normatives ainsi que des classes d'algorithmes utilisées dans ce domaine.
2. Bloc de module en salle info
ANSYS SCADE
Présentation des concepts de la programmation réactive synchrone. Présentation de l'outils ANSYS Scade suite et focalisation sur la programmation à flots de données
3. Bloc de module en salle info
ANSYS SCADE
Présentation des concepts de la programmation réactive synchrone. Présentation de l'outils ANSYS Scade suite et focalisation sur la programmation des machines à états
4. Bloc de module en salle info
ANSYS SCADE
Présentation des concepts du test logiciel et les différences avec la couverture de modèles. Un lien avec les aspects normatifs sera fait.
Présentation de l'outils ANSYS SCADE test.
5. Bloc de module en salle info
ANSYS SCADE
Présentation des concepts de la génération automatique de code en ANASYS SCADE
6. Bloc de module en salle info
Présentation de Matlab/Simulink et lien avec SCADE. Et projet SCADE.
7. Bloc de module en salle info
Projet
8. Bloc de module en salle info
Projet