Résumé: 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 et paramé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.

Paris:
Langue: Français
Collation: 212 p. ill. ;30 cm
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université de Paris-Sud
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Systèmes embarqués
Modèles de calcul
Conception hétérogène
Ingénierie logicielle

Note: Annexe pp.185-202; Bibliogr.pp.203-212