商品簡介
Dans ce m幦oire d'habilitation universitaire, nous d嶰rivons les principales contributions de nos activit廥 de recherche. Ces activit廥 s'inscrivent dans la th幦atique des architectures logicielles dans un contexte temps r嶪l r廧arti embarqu?(TR2E). Quatre contributions principales sont d嶰rites: la reconfiguration dynamique, la tol廨ance aux pannes, l'optimisation multi-objectifs et enfin la v廨ification formelle des syst鋗es TR2E. Toutes ces contributions se fondent sur les langages de description d'architectures (ADLs) comme pilier principal de mod幨isation, et ce, en raison du pouvoir d'expression tr鋊 puissant de ces derniers, ce qui permet de d嶰rire l'architecture globale d'un syst鋗e avant d'utiliser des techniques de transformation de mod鋩es et de g幯廨ation de code pour r嶧liser les diff廨entes actions relatives ?chacune des contributions. Nous utilisons intensivement ces techniques afin de maximiser l'automatisation et r嶮uire la quantit?de code 嶰rit ?la main par le d憝eloppeur.
