Les MEMS magnétiques présentent encore des champs de recherches quasi inexplorées. La course à la recherche de faisabilité d'une nouvelle structure (actionneur, capteur) est un enjeu pour les concepteurs dans ce domaine.<br />Pour répondre à ce besoin, ce travail expose des méthodes et des outils permettant de faciliter et d'automatiser des taches répétitives qui sont à la charge de ces concepteurs. Le processus de génération automatique des équations représentant le modèle est maintenant délégué à l'outil que nous avons développé. La dérivation formelle des modèles est aussi étudiée et réalisée, notamment dans le cas des applications contenant des matériaux non linéaires (ferromagnétiques). A partir de ces travaux, il alors possible de dimensionner rapidement les MEMS magnétiques généralement soumis à de nombreuses contraintes non linéaires. La méthodologie peut être aussi étendu aux MEMS électrostatiques.