Geração automática de testes de conformidade para programas de controladores lógicos programáveis.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	OLIVEIRA, K. V.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/1121152162202880	pt_BR
dc.contributor.advisor1	PERKUSICH, Angelo.
dc.contributor.advisor1ID	Perkusich, A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.advisor2	SILVA, Leandro Dias da.
dc.contributor.advisor2ID	SILVA, L. D.	pt_BR
dc.contributor.advisor2Lattes	http://lattes.cnpq.br/7856968264410259	pt_BR
dc.contributor.referee1	ALMEIDA , Hyggo Oliveira de.
dc.contributor.referee2	LIMA, Antônio Marcus Nogueira.
dc.description.resumo	O objetivo deste trabalho é apresentar um método e disponibilizar uma ferramenta que aumente a confiança e a segurança na automação de processos controlados por Controladores Lógicos Programáveis (CLPs). Para tanto, geração e execução automática de casos de teste de conformidade são utilizadas para verificar se o programa do CLP está em conformidade com a especificação. O método consiste em gerar automaticamente modelos de autômatos temporizados, segundo a sintaxe e semântica da ferramenta Uppaal, a partir de Diagramas de Lógica Binária ISA 5.2 (especificação) e programas escritos na linguagem Ladder (implementação). Após a geração destes modelos, testes de conformidade são realizados usando a ferramenta de teste Uppaal-TRON. Estudos de caso são realizados para validar este trabalho.	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 CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação	pt_BR
dc.title	Geração automática de testes de conformidade para programas de controladores lógicos programáveis.	pt_BR
dc.date.issued	2009-08-28
dc.description.abstract	The goal of this work is to present a method and provide a tool to ensure the safety and dependability in the automation of processes controlled by Programmable Logic controllers (PLCs). Therefore, automatic generation and execution of conformance testing cases are used to verify the conformance between the PLC program and the specification. The method uses the Uppaal tool syntax and semantic to automatically generate timed automata models from ISA 5.2 Binary Logic Diagrams (specification) and Ladder language (implementation). After the models generation, conformance testing is performed using the Uppaal-TRON tool. Case studies are performed to validate this work.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
dc.date.accessioned	2019-12-05T09:08:19Z
dc.date.available	2019-12-05
dc.date.available	2019-12-05T09:08:19Z
dc.type	Dissertação	pt_BR
dc.subject	Testes de Conformidade	pt_BR
dc.subject	Controladores Lógicos Programáveis	pt_BR
dc.subject	Autômatos Temporizados	pt_BR
dc.subject	Compliance Tests	pt_BR
dc.subject	Programmable Logic Controllers	pt_BR
dc.subject	Timed Automata	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	OLIVEIRA, Kézia de Vasconcelos.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Automatic generation of tests of compliance for programmable logic controllers.	pt_BR
dc.description.sponsorship	Capes	pt_BR
dc.identifier.citation	OLIVEIRA, K de V. Geração automática de testes de conformidade para programas de controladores lógicos programáveis. 2009. 117 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2009. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874	pt_BR