Exportação concluída — 

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

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: OLIVEIRA, Kézia de Vasconcelos.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
Ciência da Computação
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/9874
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.
id UFCG_82bf89da2b1db99c521fc84287a3048b
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/9874
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling Geração automática de testes de conformidade para programas de controladores lógicos programáveis.Automatic generation of tests of compliance for programmable logic controllers.Testes de ConformidadeControladores Lógicos ProgramáveisAutômatos TemporizadosCompliance TestsProgrammable Logic ControllersTimed AutomataCiência da ComputaçãoO 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.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.CapesUniversidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGPERKUSICH, Angelo.Perkusich, A.http://lattes.cnpq.br/9439858291700830SILVA, Leandro Dias da.SILVA, L. D.http://lattes.cnpq.br/7856968264410259ALMEIDA , Hyggo Oliveira de.LIMA, Antônio Marcus Nogueira.OLIVEIRA, Kézia de Vasconcelos.2009-08-282019-12-05T09:08:19Z2019-12-052019-12-05T09:08:19Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttps://dspace.sti.ufcg.edu.br/handle/riufcg/9874OLIVEIRA, 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/9874porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2025-07-24T08:16:09Zoai:dspace.sti.ufcg.edu.br:riufcg/9874Biblioteca 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-24T08:16:09Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
Automatic generation of tests of compliance for programmable logic controllers.
title Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
spellingShingle Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
OLIVEIRA, Kézia de Vasconcelos.
Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
Ciência da Computação
title_short Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_full Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_fullStr Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_full_unstemmed Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_sort Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
author OLIVEIRA, Kézia de Vasconcelos.
author_facet OLIVEIRA, Kézia de Vasconcelos.
author_role author
dc.contributor.none.fl_str_mv PERKUSICH, Angelo.
Perkusich, A.
http://lattes.cnpq.br/9439858291700830
SILVA, Leandro Dias da.
SILVA, L. D.
http://lattes.cnpq.br/7856968264410259
ALMEIDA , Hyggo Oliveira de.
LIMA, Antônio Marcus Nogueira.
dc.contributor.author.fl_str_mv OLIVEIRA, Kézia de Vasconcelos.
dc.subject.por.fl_str_mv Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
Ciência da Computação
topic Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
Ciência da Computação
description 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.
publishDate 2009
dc.date.none.fl_str_mv 2009-08-28
2019-12-05T09:08:19Z
2019-12-05
2019-12-05T09:08:19Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/9874
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: https://dspace.sti.ufcg.edu.br/handle/riufcg/9874
url https://dspace.sti.ufcg.edu.br/handle/riufcg/9874
identifier_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/9874
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 CIÊNCIA DA COMPUTAÇÃO
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 CIÊNCIA DA COMPUTAÇÃO
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_ 1851784716130189312

Registros relacionados