Validation of HMI applications for industrial smart display

Ensuring the correctness of industrial smart displays applications is fundamental given the requisites concerning reliability and safety demanded by their deployment in industrial plants. However, verification of Human-Machine Interaction applications usually requires an operator using them. This paper presents an approach to automatically verify a set of properties on HMI applications for industrial smart displays. The methodology relies both on static and simulation-based phases to maximize the number of properties automatically verified. The approach has been applied to verify a set of HMI applications developed by an Industrial Smart Display provider.