Advanced tools for the control engineer in Industry 4.0

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.