Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270
Title: Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
Other Titles: Application of formal methods in the design of interfaces for critical industrial systems.
???metadata.dc.creator???: SCAICO, Alexandre.
???metadata.dc.contributor.advisor1???: TURNELL, Maria de Fátima Queiroz Vieira.
???metadata.dc.contributor.referee1???: BITTENCOURT, Guilherme.
???metadata.dc.contributor.referee2???: MOTA, Alexandre Cabral.
???metadata.dc.contributor.referee3???: FIGUEIREDO , Jorge César Abrantes de.
???metadata.dc.contributor.referee4???: PERKUSICH, Angelo.
Keywords: Métodos Formais;Interface Homem-máquina.;Sistemas Industriais Críticos;Redes de Petri;Sistemas Supervisórios Industriais;Método para Concepção de Interfaces Ergonômicas (MCIE);Formal Methods;Man-machine Interface;Critical Industrial Systems;Petri Nets;Industrial Supervisory Systems;Method for Conception of Ergonomic Interfaces (MCIE)
Issue Date: 30-Mar-2007
Publisher: Universidade Federal de Campina Grande
Citation: SCAICO, Alexandre. Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos. 2007. 164f. (Tese de Doutorado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 2007.
???metadata.dc.description.resumo???: Este trabalho tem como foco o estudo de métodos formais aplicados à modelagem de interfaces homem-máquina de sistemas industriais críticos, a exemplo de sistemas supervisórios industriais utilizados no controle de sistemas elétricos. O principal objetivo desta pesquisa é propor a utilização de um formalismo adequado à modelagem dessa classe de sistemas que possa auxiliar no projeto de interfaces mais ergonômicas. Este trabalho apresenta o método formal escolhido (as redes de Petri Coloridas [49][50]), a metodologia adotada na análise de modelos da interface e os recursos desenvolvidos para apoiar este processo de análise. Também é apresentado um estudo de caso utilizando a metodologia proposta. Esta pesquisa está inserida no contexto da melhoria da qualidade de interfaces com o usuário de sistemas críticos com o propósito de reduzir a incidência do erro humano, e teve como foco os sistemas supervisórios industriais. Este trabalho é uma das etapas do Método para Concepção de Interfaces Ergonômicas (MCIE) [101], a modelagem formal do componente de navegação na interface. Os resultados deste trabalho comprovaram a relevância da construção de modelos no projeto de interfaces.
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.
Keywords: Métodos Formais
Interface Homem-máquina.
Sistemas Industriais Críticos
Redes de Petri
Sistemas Supervisórios Industriais
Método para Concepção de Interfaces Ergonômicas (MCIE)
Formal Methods
Man-machine Interface
Critical Industrial Systems
Petri Nets
Industrial Supervisory Systems
Method for Conception of Ergonomic Interfaces (MCIE)
???metadata.dc.subject.cnpq???: Engenharia Elétrica
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270
Appears in Collections:Doutorado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
ALEXANDRE SCAICO - TESE PPGEE 2007.pdfAlexandre Scaico - Tese PPGEE 2007.3.84 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.