v2.11.0 (5449)

Enseignement scientifique & technique - SE206 : Modélisation, génération de code et vérification

Domaine > 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 qui vise à faciliter son analyse (via des techniques de vérification) et automatiser sa production (via des techniques de génération de code).

Contenu : dans cette UE, nous étudierons un condensé de deux langages de modélisation: UML et AADL. Le premier est plutôt dédié à la modélisation d’'architecture basés sur des paradigmes de programmation orienté objets. Le second est plutôt dédié à la modélisation d’'architectures de systèmes temps-réels. L'’étude de ces deux langages permet d’'avoir deux visions complémentaires sur la définition des langages de modélisation, ce qui est d’'autant plus important qu'’il existe par ailleurs un grand nombre de langages de ce type utilisés dans l'’industrie des systèmes embarqués.

24 heures en présentiel (16 blocs ou créneaux)
réparties en:
  • Travaux Pratiques : 15
  • Leçon : 9

38.5 heures de travail personnel estimé pour l’étudiant.

Diplôme(s) concerné(s)

Parcours de rattachement

Pour les étudiants du diplôme Diplôme d'ingénieur

SE201 et SE205
Systèmes d’exploitation, langages de programmation C et Java

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Echange international non diplomant

La note obtenue rentre dans le calcul de votre GPA.

Pour les étudiants du diplôme Diplôme d'ingénieur

Vos modalités d'acquisition :

Comptes rendus de TP.

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS
  • Crédit d'UE électives acquis : 2.5

La note obtenue rentre dans le calcul de votre GPA.

L'UE est évaluée par les étudiants.

Programme détaillé

 

Mots clés

Langages de modélisation d'architecture
Veuillez patienter