Abstract : Magnetic MEMS presents many unexplored fields in research. To succeed in this domain, designers must be the first to demonstrate the feasibility of a new structure (micro-actuator, micro-sensor).
To satisfy this requirement, this works deals with the methodologies and tools which ease and speed up the design steps. This work handles the automation of equation generation which models the magnetic MEMS. Formal derivative computation is also studied and realised, especially in the case of magnetic MEMS containing non-linear materials (ferromagnetic material). Now, it is possible to design and optimize quickly magnetic MEMS, usually hindered by many non-linear constrains. The methodologies can be also extended to most conventional electrostatic MEMS.