Pour faire de l'industrie 4.0 un succès, il est indispensable de prendre en compte la composante humaine. Pour concevoir des contrôleurs sûrs de fonctionnement, les ingénieurs doivent disposer de méthodologies innovantes et adaptées à l'homme. Ce papier présente deux outils avancés – le Model-Checking et le Virtual Commissioning - qui pourraient modifier le travail des ingénieurs en automatique. La vérification de modèle est utilisée en tant que vérification hors ligne des propriétés structurelles d'une spécification de contrôleur. La mise en service virtuelle est utilisée en ligne pour tester la partie fonctionnelle.