v2.7.0 (3929)

Enseignement de Formation Continue - SE746 : Modélisation d'architecture de systèmes temps réel

Domaine > Réseaux, Informatique.

Descriptif

Le but de cette UE est de se familiariser avec les langages de modélisation d'architecture, de plus en plus utilisés dans l'industrie des systèmes embarqués.
Un modèle d'architecture est une représentation abstraite d'une application logicielle et/ou matérielle qui vise à faciliter son analyse (via des techniques de vérification, d’évaluation) et automatiser sa production (via des techniques de transformations de modèles et de génération de code)

Objectifs pédagogiques

Comprendre les objectifs et techniques d’analyse d’architecture des systèmes temps-réel embarqués.
Comprendre les méthodes de vérification ainsi que leurs application sur des exemples classiques.
Découvrir AADL, un standard de modélisation très connus dans ce domaine
Apprendre à développer et exploiter rapidement un DSL via la méta-modélisation EMF.
Manipuler des outils d’analyse et de génération de code qui exploitent ces modèles

21 heures en présentiel

effectifs minimal / maximal:

10/25

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Systèmes embarqués

Vos modalités d'acquisition :

Evaluation continue par compte-rendu de travaux pratiques

Le rattrapage est autorisé (Max entre les deux notes)
  • 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

La note obtenue rentre dans le calcul de votre GPA.

Programme détaillé

Modélisation d'architecture en AADL
Analyses temporelles
Génération de code

Mots clés

Modélisation, architecture, temps-réel, vérification analyse et génération de code
Veuillez patienter