1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
Full metadata record
DC FieldValueLanguage
dc.creator.IDOLIVEIRA, K. V.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/1121152162202880pt_BR
dc.contributor.advisor1PERKUSICH, Angelo.-
dc.contributor.advisor1IDPerkusich, A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9439858291700830pt_BR
dc.contributor.advisor2SILVA, Leandro Dias da.-
dc.contributor.advisor2IDSILVA, L. D.pt_BR
dc.contributor.advisor2Latteshttp://lattes.cnpq.br/7856968264410259pt_BR
dc.contributor.referee1ALMEIDA , Hyggo Oliveira de.-
dc.contributor.referee2LIMA, Antônio Marcus Nogueira.-
dc.description.resumoO 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.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computaçãopt_BR
dc.titleGeração automática de testes de conformidade para programas de controladores lógicos programáveis.pt_BR
dc.date.issued2009-08-28-
dc.description.abstractThe 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.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874-
dc.date.accessioned2019-12-05T09:08:19Z-
dc.date.available2019-12-05-
dc.date.available2019-12-05T09:08:19Z-
dc.typeDissertaçãopt_BR
dc.subjectTestes de Conformidadept_BR
dc.subjectControladores Lógicos Programáveispt_BR
dc.subjectAutômatos Temporizadospt_BR
dc.subjectCompliance Testspt_BR
dc.subjectProgrammable Logic Controllerspt_BR
dc.subjectTimed Automatapt_BR
dc.rightsAcesso Abertopt_BR
dc.creatorOLIVEIRA, Kézia de Vasconcelos.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeAutomatic generation of tests of compliance for programmable logic controllers.pt_BR
dc.description.sponsorshipCapespt_BR
dc.identifier.citationOLIVEIRA, 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/9874pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
KÉZIA DE VASCONCELOS OLIVEIRA - DISSERTAÇÃO (PPGCC) 2009..pdfKézia de Vasconcelos Oliveira - Dissertação PPGCC 2009.638.31 kBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.