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.
|Titolo:||Validation of HMI applications for industrial smart display|
LORA, MICHELE (Corresponding)
|Data di pubblicazione:||2017|
|Appare nelle tipologie:||04.01 Contributo in atti di convegno|