v1.17.9 (1402)

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

nombre d'heure en présentiel

21

effectifs minimal / maximal

10/25

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

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

Vos modalités d'acquisition :

Evaluation continue par compte-rendu de travaux pratiques

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2 ECTS

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