ISBN-13: 9786131584206 / Francuski / Miękka / 2018 / 168 str.
Ce travail de thA]se porte sur la co-modA(c)lisation logiciel/matA(c)riel des systA]mes embarquA(c)s temps-rA(c)el, et plus prA(c)cisA(c)ment, sur la prise en charge du matA(c)riel dans la modA(c)lisation du logiciel. Il nous a fallu, de ce fait, marier plusieurs domaines de compA(c)tence dont l'ingA(c)nierie dirigA(c)e par les modA]les, la conception d'applications temps-rA(c)el (mA(c)thodologies, analyses, noyaux temps-rA(c)el...), le dA(c)veloppement du matA(c)riel embarquA(c) (modA(c)lisation, simulation, implantation...), l'intA(c)gration logiciel/matA(c)riel (allocation, adA(c)quation, validation...), etc. Nous avons donc explorA(c) toutes ces disciplines pour accumuler l'A(c)tat de l'art nA(c)cessaire. Nous nous sommes vite rendu compte du grand nombre de problA(c)matiques non rA(c)solues et de pratiques de conception dA(c)passA(c)es ou insuffisantes vu le rythme d'A(c)volution imposA(c) par l'industrie. AprA]s un positionnement vis A vis de l'existant, nous avons introduit au fur et A mesure l'ensemble de nos contributions.
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 lingénierie dirigée par les modèles, la conception dapplications temps-réel (méthodologies, analyses, noyaux temps-réel...), le développement du matériel embarqué (modélisation, simulation, implantation...), lintégration logiciel/matériel (allocation, adéquation, validation...), etc. Nous avons donc exploré toutes ces disciplines pour accumuler létat de lart 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 lindustrie. Après un positionnement vis à vis de lexistant, nous avons introduit au fur et à mesure lensemble de nos contributions.