Simulation temps-réel de modèles physiques pour la validation par hardware-in-the-loop
Auteur / Autrice : | Cyril Faure |
Direction : | Gilles Bertrand |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 17/10/2011 |
Etablissement(s) : | Paris Est |
Ecole(s) doctorale(s) : | École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire d'informatique de l'Institut Gaspard Monge (1997-2009) |
Jury : | Président / Présidente : Yves Sorel |
Examinateurs / Examinatrices : Gilles Bertrand, Arben Cela, Michel Nakhlé, Ramine Nikoukhah, Nicolas Pernet | |
Rapporteurs / Rapporteuses : Maryline Silly-Chetto, Daniel Simon |
Mots clés
Résumé
La validation des systèmes Mécatroniques tels que la supervision d'une chaînede traction hybride utilise de plus en plus la simulation Hardware-in-the-Loop. Cela consiste à interconnecter des composants réels du système et des composantssimulés. On parle alors de simulation temps réel car les composants simulés doivent avoir le même comportement temporel que les réels. En d'autres termes, la simulation temps réel d'un modèle nécessite le maillage de l'évolution du temps simulé sur celle du temps réel. Sur les outils existants, l'intégration de modèles physiques représentatifs se heurte à des modèles de calculs et des contraintes temporelles pessimistes. Cette thèse propose des solutions, analytiques ou tirées d'expérimentations au sein d'IFP Energies nouvelles, pour l'implantation adéquate de la simulation temps réel de modèles physiques. Des métriques ont été introduites pourqualifier et quantifier la validité d'une simulation temps réel. Une définition des contraintes temporelles propres à la simulation temps réel a été proposée, accompagnée des règles régissant leur propagation aux calculs sous-jacents. Ces méthodes ont ensuite été déclinées en étude d'ordonnançabilité pour deux systèmes au comportement pseudo périodique : un simulateur de moteur à combustion et un contrôle moteur. Des expérimentations sur la simulation temps réel distribuée d'un moteur, intégrant des modèles phénoménologiques de combustion, ont permis de justifier et de validerles méthodes proposées. Les dégradations dues à la simulation distribuée ont été corrigées par un mécanisme d'extrapolation paramétrable dont le coût d'exécution a été étudié