Formation à l'Industrie 4.0 par l'utilisation du Model-Checking et du Virtual Commissioning - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Formation à l'Industrie 4.0 par l'utilisation du Model-Checking et du Virtual Commissioning

Résumé

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.
Fichier principal
Vignette du fichier
Smart2019_Revision Finale.pdf (440.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02151117 , version 1 (07-06-2019)

Identifiants

  • HAL Id : hal-02151117 , version 1

Citer

Alexandre Philippot, Bernard Riera, Vinay Kunreddy, Serge Debernard. Formation à l'Industrie 4.0 par l'utilisation du Model-Checking et du Virtual Commissioning. Colloque National S-mart/AIP-PRIMECA, Apr 2019, Montrichier-Albanne, France. ⟨hal-02151117⟩
165 Consultations
236 Téléchargements

Partager

Gmail Facebook X LinkedIn More