Résumé :

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.

L'objectif principal est de pouvoir utiliser le langage VHDL-AMS, en tant que support pour la gestion des modèles dans le cycle de conception. Cela conduit à traiter l'interopérabilité de méthodes et des outils en VHDL-AMS.

Nous avons proposé, via les composants logiciels ICAr, des solutions aux limites de VHDL-AMS. Nous avons étendu la norme ICAr pour supporter des modèles dynamiques; et pour des besoins de co-simulation, nous pouvons y associer un solveur. Enfin, nous avons proposé une architecture pour le portage de modèles d'un formalisme à un autre. Elle a été mise en oeuvre 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 concrètement autour du PVF d'un contacteur électromagnétique.

Jury :

M. Hervé Morel Directeur de recherche au CNRS (Président)

M. Yannick Hervé Maître de conférence à l'université de Strasbourg (Rapporteur)

M. Hubert Piquet Professeur à l à l'université de Toulouse (Rapporteur)

M. Vincent Le conte Ingénieur à CEDRAT, Grenoble (Examinateur)

M. Laurent GERBAUD Professeur à l'INP Grenoble (Directeur de thèse)

M. Benoît DELINCHANT Maître de conférence à l'UJF (Co-Directeur de thèse)

M. Sébastien Furic Ingénieur à LMS Imagine, Lyon (invité)