This PhD report deals with modeling formalisms for multi-physical systems in the design V- cycle. This work was carried out within the French ANR-MoCoSyMec project, according to the methodology of functional virtual prototyping (PVF) and illustrated with electromagnetical systems. The work focuses on the VHDL-AMS modeling language, as a support for several modeling levels appearing in the design V-cycle. In this work, the portability and interoperability problems have been studied, using VHDL-AMS, for various modeling methods and tools. Solutions have been proposed and validated for use limits of VHDL-AMS language, specifically for the modeling of some physical phenomena using numerical computations, through the software component formalism called ICAr. The ICAr software component standard has been extended to support dynamic models described through differential algebraic equations (DAE). It has also been extended for co-simulation purposes in which a solver is associated to the dynamic model inside the ICAr component. These developed solutions are now available in the framework CADES. Finally, architecture has been proposed for the transforming of models from a professional formalism into another, specifically into VHDL-AMS. It has been designed and implemented for reluctant magnetic models (RelucTool) and magnetic MEMS (MacMMems). These formalisms and methodologies are implemented around the functional virtual prototyping (PVF) of an electromagnetic contactor.
