Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
→
Mestrado em Engenharia Elétrica.
→
Ver item

dc.creator.ID	BARBOSA, L. P. A.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/0176620407993556	pt_BR
dc.contributor.advisor1	LIMA, Antonio Marcus Nogueira.
dc.contributor.advisor1ID	LIMA, A. M. N.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/2237395961717699	pt_BR
dc.contributor.advisor2	PERKUSICH, Angelo.
dc.contributor.advisor2ID	PERKUSICH, A.	pt_BR
dc.contributor.advisor2Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.referee1	SILVA, Leandro Dias da.
dc.contributor.referee2	ALMEIDA, Hyggo Oliveira de.
dc.description.resumo	Os Sistemas Instrumentados de Segurança (SIS) são projetados para garantir a operação contínua de sistemas de produção industrial, controlar o comportamento dos equipamentos envolvidos no processo produtivo e prevenir acidentes, portanto, é importante testar a implementação dos SIS contra sua especifica¸c˜ao para aumentar a confiança no funcionamento do sistema. Neste trabalho é introduzida uma técnica para melhorar a confiança no funcionamento dos SIS. Um método para obter automaticamente um modelo de autômato temporizado da especificação, diagramas ISA 5.2, e da implementação do SIS, Function Block Diagram (FBD), é apresentado. Uma abordagem para realizar teste automático da implementação utilizando os modelos gerados é discutida e finalmente a técnica é aplicada a um estudo de caso provido pela Petrobras. O método introduzido aqui é baseado no uso do verificador de modelos Uppaal e na ferramenta de teste Uppaal-TRON.	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	Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.	pt_BR
dc.date.issued	2008-12-17
dc.description.abstract	Safety Instrumented Systems (SIS) are designed to guarantee continuous operation of industrial production systems, control the behavior of the industrial equipments and prevent accidents, therefor, it is importante to be able to test the SIS implementation against its specification in order to increase the dependability of the system. In this work a technique to improve the dependability of SIS is introduced. A method to automatically obtain a timed automaton model of the specification, diagrams ISA 5.2, and the implementation of SIS, Function Block Diagram (FBD), is presented. One approach to perform automatic testing of the implementation using the models generated is discussed and finally the the technique is applied to a case study provided by Petrobras. The method introduced here is based on the use of the Uppaal model checker and the Uppaal-TRON testing tool.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3276
dc.date.accessioned	2019-03-27T16:59:54Z
dc.date.available	2019-03-27
dc.date.available	2019-03-27T16:59:54Z
dc.type	Dissertação	pt_BR
dc.subject	Sistemas Instrumentados de Segurança.
dc.subject	Autômatos Tempondos.
dc.subject	Sistemas a Eventos Discretos.
dc.subject	Controladores Lógicos Programáveis.
dc.subject	Testes Baseados em Modelos.
dc.subject	Instrumented Security Systems.
dc.subject	Tempted Automatics.
dc.subject	Systems to Discrete Events.
dc.subject	Programmable Logic Controllers.
dc.subject	Testing Based on Models.
dc.rights	Acesso Aberto	pt_BR
dc.creator	BARBOSA, Luiz Paulo de Assis.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Automatic generation of timed automaton models for testing safety instrumented systems.	pt_BR
dc.identifier.citation	BARBOSA, Luiz Paulo de Assis. Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança. 2008. 59f. Dissertação (Mestrado 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, 2008.	pt_BR