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

Detalhes bibliográficos
Autor(a) principal: SCAICO, Alexandre.
Data de Publicação: 2007
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270
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.
id UFCG_f6a1af92eb041d90c01e4dba7ff3f9f8
oai_identifier_str oai:localhost:riufcg/6270
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.Application of formal methods in the design of interfaces for critical industrial systems.Métodos FormaisInterface Homem-máquina.Sistemas Industriais CríticosRedes de PetriSistemas Supervisórios IndustriaisMétodo para Concepção de Interfaces Ergonômicas (MCIE)Formal MethodsMan-machine InterfaceCritical Industrial SystemsPetri NetsIndustrial Supervisory SystemsMethod for Conception of Ergonomic Interfaces (MCIE)Engenharia ElétricaEste 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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGTURNELL, Maria de Fátima Queiroz Vieira.TURNELL, M. F. Q. V.http://lattes.cnpq.br/1459797138770378BITTENCOURT, Guilherme.MOTA, Alexandre Cabral.FIGUEIREDO , Jorge César Abrantes de.PERKUSICH, Angelo.SCAICO, Alexandre.2007-03-302019-08-28T12:33:14Z2019-08-282019-08-28T12:33:14Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270SCAICO, 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.porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2021-04-16T13:11:30Zoai:localhost:riufcg/6270Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512021-04-16T13:11:30Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
Application of formal methods in the design of interfaces for critical industrial systems.
title Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
spellingShingle Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
SCAICO, Alexandre.
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)
Engenharia Elétrica
title_short Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
title_full Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
title_fullStr Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
title_full_unstemmed Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
title_sort Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
author SCAICO, Alexandre.
author_facet SCAICO, Alexandre.
author_role author
dc.contributor.none.fl_str_mv TURNELL, Maria de Fátima Queiroz Vieira.
TURNELL, M. F. Q. V.
http://lattes.cnpq.br/1459797138770378
BITTENCOURT, Guilherme.
MOTA, Alexandre Cabral.
FIGUEIREDO , Jorge César Abrantes de.
PERKUSICH, Angelo.
dc.contributor.author.fl_str_mv SCAICO, Alexandre.
dc.subject.por.fl_str_mv 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)
Engenharia Elétrica
topic 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)
Engenharia Elétrica
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2007-03-30
2019-08-28T12:33:14Z
2019-08-28
2019-08-28T12:33:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270
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.
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6270
identifier_str_mv 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.
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744389479596032

Registros relacionados