Cette thèse aborde les formalismes pour la modélisation multi-physique en support au cycle en V de conception. Ce travail a été réalisé dans le cadre du projet ANR-MoCoSyMec, selon la méthodologie du prototypage virtuel fonctionnel (PVF) et illustré sur des systèmes électromagnétiques. Nous nous sommes principalement intéressés au langage VHDL-AMS, en tant que support aux différents niveaux de modélisation apparaissant dans le cycle en V de conception. Cela nous a conduits à traiter la portabilité et l'interopérabilité en VHDL-AMS de diverses méthodes et outils de modélisation. Nous avons proposé et validé, via le formalisme des composants logiciels ICAr, des solutions aux limites de l'utilisation de VHDL-AMS pour modéliser certains phénomènes physiques reposants sur des calculs numériques. Nous avons étendu la norme ICAr pour supporter des modèles dynamiques décrits par des équations différentielles algébriques (DAE) ; et pour des besoins de co-simulation, nous pouvons également y associer un solveur. Ces développements sont désormais capitalisés dans le framework CADES. Enfin, nous avons proposé une architecture pour le portage de modèles d'un formalisme à un autre. Elle a été définie et mise en oeuvre plus particulièrement pour des modèles magnétiques réluctants (Reluctool) et des MEMS magnétiques (MacMMems) vers le VHDL-AMS. Ces formalismes et méthodologies sont mis en oeuvre autour du PVF d'un contacteur électromagnétique.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00771251 |
| Date | 25 October 2012 |
| Creators | Rezgui, Abir |
| Publisher | Université de Grenoble |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.002 seconds