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

Detalhes bibliográficos
Ano de defesa: 2007
Autor(a) principal: SCAICO, Alexandre. lattes
Orientador(a): TURNELL, Maria de Fátima Queiroz Vieira. lattes
Banca de defesa: BITTENCOURT, Guilherme., MOTA, Alexandre Cabral., FIGUEIREDO , Jorge César Abrantes de., PERKUSICH, Angelo.
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
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)
Área do conhecimento CNPq:
Engenharia Elétrica
Link de acesso: https://dspace.sti.ufcg.edu.br/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_70afda2a51fdbfce1306856ff2fbb6f3
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/6270
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling TURNELL, 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, A.http://lattes.cnpq.br/2170883710338227SCAICO, Alexandre.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.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.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-08-28T12:33:14Z No. of bitstreams: 1 ALEXANDRE SCAICO - TESE PPGEE 2007..pdf: 3928214 bytes, checksum: c542602593703928b72fb67e2c7b4996 (MD5)Made available in DSpace on 2019-08-28T12:33:14Z (GMT). No. of bitstreams: 1 ALEXANDRE SCAICO - TESE PPGEE 2007..pdf: 3928214 bytes, checksum: c542602593703928b72fb67e2c7b4996 (MD5) Previous issue date: 2007-03-30Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIEngenharia ElétricaMé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)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.2007-03-302019-08-28T12:33:14Z2019-08-282019-08-28T12:33:14Zhttps://dspace.sti.ufcg.edu.br/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.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTALEXANDRE SCAICO - TESE PPGEE 2007.pdf.txtALEXANDRE SCAICO - TESE PPGEE 2007.pdf.txttext/plain310474https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6270/4/ALEXANDRE+SCAICO+-+TESE+PPGEE+2007.pdf.txted95b79d02dfbe0d5f41a88a20845606MD54ORIGINALALEXANDRE SCAICO - TESE PPGEE 2007.pdfALEXANDRE SCAICO - TESE PPGEE 2007.pdfapplication/pdf2414391https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6270/3/ALEXANDRE+SCAICO+-+TESE+PPGEE+2007.pdf00ac0be12543cbee568b4b3dc8d83a91MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6270/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/62702025-07-24 06:00:00.39oai:dspace.sti.ufcg.edu.br:riufcg/6270Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca 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:48512025-07-24T09:00Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos.
dc.title.alternative.pt_BR.fl_str_mv 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.
Engenharia Elétrica
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)
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.advisor1.fl_str_mv TURNELL, Maria de Fátima Queiroz Vieira.
dc.contributor.advisor1ID.fl_str_mv TURNELL, M. F. Q. V.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1459797138770378
dc.contributor.referee1.fl_str_mv BITTENCOURT, Guilherme.
dc.contributor.referee2.fl_str_mv MOTA, Alexandre Cabral.
dc.contributor.referee3.fl_str_mv FIGUEIREDO , Jorge César Abrantes de.
dc.contributor.referee4.fl_str_mv PERKUSICH, Angelo.
dc.contributor.authorID.fl_str_mv SCAICO, A.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2170883710338227
dc.contributor.author.fl_str_mv SCAICO, Alexandre.
contributor_str_mv TURNELL, Maria de Fátima Queiroz Vieira.
BITTENCOURT, Guilherme.
MOTA, Alexandre Cabral.
FIGUEIREDO , Jorge César Abrantes de.
PERKUSICH, Angelo.
dc.subject.cnpq.fl_str_mv Engenharia Elétrica
topic Engenharia Elétrica
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)
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)
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.issued.fl_str_mv 2007-03-30
dc.date.accessioned.fl_str_mv 2019-08-28T12:33:14Z
dc.date.available.fl_str_mv 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 https://dspace.sti.ufcg.edu.br/handle/riufcg/6270
dc.identifier.citation.fl_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.
url https://dspace.sti.ufcg.edu.br/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
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
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
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6270/4/ALEXANDRE+SCAICO+-+TESE+PPGEE+2007.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6270/3/ALEXANDRE+SCAICO+-+TESE+PPGEE+2007.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6270/2/license.txt
bitstream.checksum.fl_str_mv ed95b79d02dfbe0d5f41a88a20845606
00ac0be12543cbee568b4b3dc8d83a91
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
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_ 1863363433184886784

Registros relacionados