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 …