v2.11.0 (5687)

Cours scientifiques - CSC_5RO01_TA : Modelisation et génération automatique de code

Domaine > Computer Science.

Descriptif

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.

Objectifs pédagogiques

- Connaitre les concepts de la programmation réactive synchrone
- Savoir utiliser l'outil ANSYS Scade pour la programmation réactive synchrone
- Savoir appliquer les concepts de la programmation réactive synchrone pour la modélisation et la simulation de systèmes embarqués critiques

21 heures en présentiel (7 blocs ou créneaux)
réparties en:
  • Modules 3A en salle info : 28

effectifs minimal / maximal:

10/25

Diplô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 20

Littérale/grade européen

Pour 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 :

 Projet informatique + QCM

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
L'UE est acquise si Note finale >= 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

Mots clés

Programmation réactive synchrone, flots de données, machine à états
Veuillez patienter