Cette contribution présente un cadre méthodologique pour formaliser les spécifications d'un simulateur basée sur de l'apprentissage machine profond. Ce travail de recherche, mêlant épistémologie de la modélisation et informatique théorique, pour objectif de mettre en place des techniques informatiques de vérification et validation pour des systèmes critiques nécessitant la puissance prédictive d'une modélisation par apprentissage machine.