L’ingénierie dirigée par les modèles (IDM ou MDE pour Model-Driven Engineering) est une approche de plus en plus présente dans le monde industriel. L’objectif est de centrer le développement de systèmes sur des modèles qui accompagnent leur conception et servent de base à leur développement. Il d’agit donc d’une phase de mise en place systématique de processus de fabrication logicielle instrumentés en vue de mieux maîtriser la fiabilité des systèmes ainsi produits. À l’issue d’une longue lignée de travaux, l’IDM a établi des techniques permettant : 1) de définir des lan- gages ou notations semi-formelles au moyen de méta-modèles ; 2) d’exprimer des règles de transformations entre méta-modèles ; 3) d’exprimer des contraintes de cohérence sur des modèles ; 4) d’exprimer des procédés de fabrication. Ces techniques atteignent une maturité à travers des implémentations reconnues, par exemple au sein de l’environnement Eclipse. Cependant, de nouveaux défis sont en train d’apparaître et deux d’entre eux sont mis en perspective ici : la description et la manipulation de modèles formels, d’une part, la prise en compte des méthodes formelles dans un processus de développement, d’autre part.