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.

Validation of HMI applications for industrial smart display

Lora, Michele
2017

Abstract

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.
978-1-5090-3997-5
Computational modeling, Analytical models, Automata, Tools, Unified modeling language, C++ languages, Embedded systems
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/971856
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact