Du er ikke logget ind
Beskrivelse
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.