Advanced Tools for the Control Engineer in Industry 4.0

Alexandre Philippot (1) , Bernard Riera (1) , Vinay Kunreddy , Serge Debernard (2)

1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
2 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201

To make Industry 4.0 a success, it is necessary to take into account the human component. To design safe controllers, engineers must dispose innovative and human adapted methodologies. The paper proposes two advanced powerful tools (Model-Checking and Virtual Commissioning) which could modify the work of the automatic control engineers in the future. Model-Checking is used as an off-line verification of structural properties of a controller specification. Virtual Commissioning is used on-line to test the functional part.

Mots clés: Model-Checking; Virtual Commissioning; Programmable Logic Controller; Industry 40

Domaines: Automatique / Robotique

Alexandre Philippot, Bernard Riera, Vinay Kunreddy, Serge Debernard. Advanced Tools for the Control Engineer in Industry 4.0. IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2018, Saint Petersburg, Russia. ⟨10.1109/ICPHYS.2018.8390766⟩. ⟨hal-02151096⟩