Modelisation conjointe logiciel/materiel de systemes temps reel

Ce travail de th se porte sur la co-mod lisation logiciel/mat riel des syst mes embarqu?'s temps-r el, et plus pr cis ment, sur la prise en charge du mat riel dans la mod lisation du logiciel. Il nous a fallu, de ce fait, marier plusieurs domaines de comp tence dont l'ing nierie dirig e par les mod les, la conception d'applications temps-r el (m thodologies, analyses, noyaux temps-r el...), le d veloppement du mat riel embarqu (mod lisation, simulation, implantation...), l'int gration logiciel/mat riel (allocation, ad quation, validation...), etc. Nous avons donc explor toutes ces disciplines pour accumuler l' tat de l'art n cessaire. Nous nous sommes vite rendu compte du grand nombre de probl matiques non r solues et de pratiques de conception d pass es ou insuffisantes vu le rythme d' volution impos par l'industrie. Apr?'s un positionnement vis vis de l'existant, nous avons introduit au fur et mesure l'ensemble de nos contributions.