Note ABES Modélisation conjointe logiciel/matériel de systèmes temps réel Hardware/software co-modeling of real-time systems Co-modélisation logiciel/matériel Systèmes embarqués (informatique) Temps réel (informatique) Ingénierie dirigée par les modèles Langages de description de matériel informatique Génie informatique Simulation par ordinateur Robots mobiles Construction Simulation par ordinateur UML (informatique) Ce travail de thèse porte précisément sur la prise en charge du matériel embarqué dans la modélisation de l'application temps-réel. Afin d'améliorer le développement du matériel et de faciliter la communication des décisions architecturales au flot logiciel, nous avons adopté l'ingénierie dirigée par les modèles dans la conception, simulation et implantation de la plateforme matérielle. En effet, nous avons défini un langage de modélisation HRM (Hardware Resource Model) pour la description de plateformes matérielles sous différentes vues et à différents niveaux de détail. Nous avons ensuite conçu une méthodologie de modélisation du matériel en HRM pour assister tout utilisateur dans la construction de modèles de plateformes. Nous avons également développé un outillage complet et automatisé pour la simulation des plateformes matérielles ainsi modélisées. Enfin, nous décrivons un processus d'unification entre HRM et le standard d'implantation du matériel IP-XACT. Pour mieux prendre en charge le modèle de la plateforme matérielle dans la conception du système temps-réel, nous avons spécifiés des règles et des contraintes d'allocation qui régissent les placements des entités logicielles sur les ressources matérielles. Puis nous avons proposé des mécanismes d'adéquation pour adapter des configurations à priori inadéquates. Pour finir et illustrer l'agencement de toutes ces contributions dans le cadre d'un même processus de développement, nous avons développé une chenille de robots unicycles qui roulent sans glisser sur un plan horizontal. Il s'agit d'un système qui est à la fois temps-réel, embarqué, multi-tâches, distribué, répétitif et paramétrable. This PhD work focuses on the hardware support when modeling real-time systems. To improve the development of hardware and to communicate architectural intends to the software flow, we adopted the model driven engineering for design, simulation and implementation of hardware platforms. We have first defined a modeling language HRM (Hardware Resource Model) that describes hardware platforms with different views and at different levels of detail. Then, we developed a methodology based on HRM to help users in the construction of their platforms models. We have also developed automated tools for the simulation of these hardware models. Finally, we provide an efficient process of unification between HRM and the recent standard of hardware implementation IP-XACT. As our purpose is to take into consideration the hardware properties during the system design, we have specified rules and constraints that govem allocation of software entities onto hardware resources. After that, we proposed mechanisms to adapt inadequate configurations. Finally, we illustrate all these contributions within the same case study, which is a robots chain. It is realtime, embedded, multi-tasking, distributed, repetitive and configurable system. Electronic Thesis or Dissertation Text fr PDF 11471252 https://pepite-depot.univ-lille.fr/LIBRE/EDSPI/2008/50376-2008-Taha.pdf https://theses.fr/2008LIL10016/abes Taha Safouan Taha 1981-08-07 FR 125040474 https://theses.fr/2008LIL10016 2008LIL10016 https://doi.org/10.70675/a36443b3zb415z42a4z8276ze5eba22c75b2 2008-05-05 Informatique Lille 1 026404184 Doctorat Docteur es non oui Dekeyser Jean-Luc MADS_DIRECTEUR_DE_THESE_1 030972930 Radermacher Ansgar MADS_DIRECTEUR_DE_THESE_2 140189564 Gérard Sébastien MADS_DIRECTEUR_DE_THESE_3 077017498 École doctorale Sciences pour l'ingénieur (Lille ; 1992-2021) MADS_ECOLE_DOCTORALE_1 147297028 ddc:004 Dekeyser Jean-Luc Radermacher Ansgar Gérard Sébastien École doctorale Sciences pour l'ingénieur (Lille) PDF 11471252