Cet article s’interroge sur l’aptitude des modèles de spécification à générer un code exécutable. Il débute par une présentation du contexte industriel et des deux cycles de vie les plus rencontrés. Sont ensuite introduites la modélisation et la programmation des systèmes de contrôle, avec notamment les dichotomies du temps réel. Trois groupes de langages graphiques sont distingués, le langage déclaratif MSMC issue de l’analyse structurée est particulièrement détaillé. Une modélisation  à l’aide de ce langage a été choisie pour illustrer la génération automatique de code.