v1.17.9 (1402)

Enseignement scientifique & technique - SE206 : Modélisation, génération de code et vérification (Modelling, code generation and verification)

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.

nombre d'heure en présentiel

24

nombre de blocs

16

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 non diplomant

La note obtenue rentre dans le calcul de votre GPA.

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

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é

Veuillez patienter