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.
Objectifs pédagogiques
- Modules 3A en salle info : 28
effectifs minimal / maximal:
10/25Diplôme(s) concerné(s)
Pour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées
Programmation impérative
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
Vos modalités d'acquisition :
- 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 ECTS
Le coefficient de l'UE est : 1
La note obtenue rentre dans le calcul de votre GPA.
L'UE est évaluée par les étudiants.
Programme détaillé
1. 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. Programmation de logicielle embarquée avec fortes contraintes matériel
3. 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
4. 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
5. 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.
6. Présentation des concepts de la génération automatique de code en ANASYS SCADE
7. Présentation de Matlab/Simulink et lien avec SCADE. Et projet SCADE.
8. Projet