La Modélisation Architecturale au Service des Systèmes TR2E

Dans ce m moire d'habilitation universitaire, nous d crivons les principales contributions de nos activit s de recherche. Ces activit s s'inscrivent dans la th matique des architectures logicielles dans un contexte temps r el r parti embarqu (TR2E). Quatre contributions principales sont d crites: la reconfiguration dynamique, la tol rance aux pannes, l'optimisation multi-objectifs et enfin la v rification formelle des syst mes TR2E. Toutes ces contributions se fondent sur les langages de description d'architectures (ADLs) comme pilier principal de mod lisation, et ce, en raison du pouvoir d'expression tr s puissant de ces derniers, ce qui permet de d crire l'architecture globale d'un syst me avant d'utiliser des techniques de transformation de mod les et de g n ration de code pour r aliser les diff rentes actions relatives chacune des contributions. Nous utilisons intensivement ces techniques afin de maximiser l'automatisation et r duire la quantit de code crit la main par le d veloppeur.