dc.creator.ID |
SCAICO, A. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/2170883710338227 |
pt_BR |
dc.contributor.advisor1 |
TURNELL, Maria de Fátima Queiroz Vieira. |
|
dc.contributor.advisor1ID |
TURNELL, M. F. Q. V. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/1459797138770378 |
pt_BR |
dc.contributor.referee1 |
BITTENCOURT, Guilherme. |
|
dc.contributor.referee2 |
MOTA, Alexandre Cabral. |
|
dc.contributor.referee3 |
FIGUEIREDO , Jorge César Abrantes de. |
|
dc.contributor.referee4 |
PERKUSICH, Angelo. |
|
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. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Engenharia Elétrica |
|
dc.title |
Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos. |
pt_BR |
dc.date.issued |
2007-03-30 |
|
dc.description.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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270 |
|
dc.date.accessioned |
2019-08-28T12:33:14Z |
|
dc.date.available |
2019-08-28 |
|
dc.date.available |
2019-08-28T12:33:14Z |
|
dc.type |
Tese |
pt_BR |
dc.subject |
Métodos Formais |
|
dc.subject |
Interface Homem-máquina. |
|
dc.subject |
Sistemas Industriais Críticos |
|
dc.subject |
Redes de Petri |
|
dc.subject |
Sistemas Supervisórios Industriais |
|
dc.subject |
Método para Concepção de Interfaces Ergonômicas (MCIE) |
|
dc.subject |
Formal Methods |
|
dc.subject |
Man-machine Interface |
|
dc.subject |
Critical Industrial Systems |
|
dc.subject |
Petri Nets |
|
dc.subject |
Industrial Supervisory Systems |
|
dc.subject |
Method for Conception of Ergonomic Interfaces (MCIE) |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
SCAICO, Alexandre. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
Application of formal methods in the design of interfaces for critical industrial systems. |
pt_BR |
dc.identifier.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. |
pt_BR |