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.