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
effectifs minimal / maximal:
10/25Diplôme(s) concerné(s)
Format des notes
Numérique sur 20Pour 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)- Crédits ECTS acquis : 2 ECTS
Programme détaillé
Modélisation d'architecture en AADL
Analyses temporelles
Génération de code
