v2.3.2 (2860)

Cours scientifique - RSE_SSC01 : Modèle et génération automatique de code pour les logiciels embarqués

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.

nombre d'heure en présentiel

26

nombre de blocs

8

Volume horaire par type d'activité pédagogique : types d'activité

  • Cours d'improvisation et théatre : 26

Diplôme(s) concerné(s)

Parcours de rattachement

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

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

Veuillez patienter