Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.

Abstract

This work focuses on the study of formal methods applied to the design of human interfaces for critical industrial systems, such as the supervisory software employed in the automation of electric systems. The main goal of this research is to propose a choice of formalism adequate for modelling this class of system that can support the design of more ergonomic interfaces. This work presents the formal method that we choosed, the methodology employed during the analysis of the interface models and the resources developed along this work in order to support the analysis. It also presents a case study using the proposed methodology. This research is within the scope of the major theme of quality improvement of user interfaces with industrial critical systems in order to reduce the human error. This research targets industrial supervisory systems. This work is one of the phases to be performed during interface conception when using the Method for the Conception of Ergonomic Interfaces (MCIE), the formal modeling of the navigation component in the interface. The results from this research corroborate with the views that formal modelling is a useful and practical approach to interface design.