Abstract FR:

Les systèmes embarqués sont utilisés dans plusieurs domaines d'application et mélangent plusieurs technologies, ce qui fait d'eux des systèmes hétérogènes complexes. Ainsi, ils sont composés de sous systèmes dont chacun obéit à un modèle de calcul qui lui est approprié. Les modèles de calcul sont des lois qui régissent les interactions des systèmes. Actuellement, pour exécuter un composant atomique, dont le comportement est spécifié suivant la sémantique d'un modèle de calcul, dite sémantique de spécification, sous différents modèles de calcul, on peut utiliser soit l'approche hiérarchique, soit l'approche non hiérarchique, soit des composants domaine-spécifiques. Un composant domaine spécifique étant un composant dont le fonctionnement correct n'est garanti que sous le modèle de calcul pour lequel il est conçu. Cependant, ces approches présentent plusieurs désavantages. Pour éviter ces problèmes, nous proposons dans cette thèse un nouveau modèle de composant, appelé composant domaine-polymorphe. Un composantdomaine-polymorphe est un composant atomique ayant la capacité d'exécuter son comportement interne suivant la sémantique de spécification tout en garantissant un fonctionnement correct sous différents modèles de calcul. En découplant la sémantique de spécification et celle d'exécution, cette approche offre une bonne modularité. L'adaptation à la sémantique d'exécution étant automatique, ces composants sont facilement réutilisables etparamétrables afin d'expliciter les interactions entre modèles de calcul, ce qui augmente la productivité et facilite la maintenabilité ainsi que le processus de validation.