Ce travail de thèse s'inscrit dans le projet plus global PRISE (Plate-forme de Recherche pour l'Ingénierie des Systèmes Embarqués) dont l'objectif principal est le développement d'une plateforme d'exécution pour les logiciels embarqués. De tels logiciels sont dits critiques et ils sont, par conséquent, soumis à des règles de conception spécifiques. Notamment, ces logiciels doivent répondre à des contraintes de temps réel et ainsi garantir des comportements temporels prédictifs afin de toujours donner des résultats justes avec le respect d'échéances temporelles.L'objectif de cette thèse est d'évaluer l'utilisation des techniques de la simulation distribuée (et particulièrement de la norme HLA) pour répondre aux besoins de simulation hybride et temps réel de la plate-forme. Afin de respecter ces contraintes et garantir la prédictibilité temporelle d'une simulation distribuée, il faut avoir une vision complète de l'ensemble du problème et notamment des différents niveaux d'actions : applicatif, intergiciel, logiciel, matériel et aussi formel pour la validation du comportement temporel.Cette thèse se base sur la RTI (Run Time Infrastructure, intergiciel HLA) de l'ONERA : le CERTI et propose une démarche méthodologique adaptée à ces différents niveaux d'actions. Des cas d'étude, notamment un simulateur du vol d'un avion, ont été spécifiés, implémentés et expérimentés sur la plate-forme PRISE. / This work takes place in the global project PRISE (Plate-forme de Recherche pour l'Ingénierie des Systèmes Embarqués) in which the focus is to develop an execution platform for embedded software. Embedded software are said criticals and, therefore, are subject to specific design rules.Particularly, these software must meet real time constraints and thus ensure a temporal predictive behaviour in order to always give accurate results with respect to corresponding timing deadlines.The main objective of this thesis is to study the use of distributed simulation techniques (and specifically the HLA standard) to meet the real-time and hybrid simulation needs of the PRISE platform. To comply with these real-time constraints and ensure the predictability of a distributed simulation, we must have a complete view of the whole problem and in particular the different levels of action: application, middleware, software, hardware and also a formal level for validation of the timing behaviour.This work is based on the RTI (Run Time Infrastructure, HLA middleware) from ONERA laboratory called : the CERTI and proposes a methodological approach adapted to take into account these different levels of action. Some case studies, including a flight simulator of an aircraft, have been specified, implemented and tested on the PRISE platform.

La mécatronique est l'intégration de différentes sciences et techniques de la mécanique, de l'automatique, de l'électronique et de l'informatique. L'évolution rapide des marchés concurrents exige la diminution du temps de développement d'un produit tout en augmentant la qualité et la performance du système. Il est donc nécessaire d'augmenter l'efficacité du processus de conception. Pour répondre à cette nécessité, en complément des outils d'analyse, la simulation, et spécialement le prototypage virtuel, est devenu l'une des clés technologiques. Il est difficile de trouver des outils de simulation capables d'analyser des systèmes pluridisciplinaires dépendants de différents domaines. Pourtant, un environnement qui permet une simulation intégrée multidisciplinaire de systèmes mécatroniques est nécessaire pour une évaluation fonctionnelle plus précise de la conception du produit et pour améliorer la qualité et l'efficacité de cette conception. La présente contribution décrit une méthode de conception et de simulation des systèmes mécatroniques. On identifie d'abord le modèle de comportement et le modèle géométrique 3D associé. Ensuite, le modèle de comportement est vu comme un système dynamique hybride formé de deux automates hybrides couplés (Partie Opérative, Partie Commande). Nous présentons ensuite les simulateurs OpenMASK, OpenModelica, le standard IEEE1516 HLA et les travaux reliés à cette architecture de simulation distribuée. Dans une démarche descendante, nous présentons ensuite notre approche et notre expérimentation pour intégrer les fonctionnalités de HLA dans ces simulateurs, pour distribuer les éléments de modélisation de systèmes mécatroniques de haut niveau et enfin pour compléter Modelica sur le formalisme des automates hybrides qui nous est indispensable. Nous proposons des extensions pour intégrer le temps réel en vue de simulations interactives. Nous appliquons enfin cette approche sur les simulateurs cités en utilisant le bus HLA CERTI sous un environnement Linux à partir d'un exemple représentatif d'un système mécatronique