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: http://dspace.sti.ufcg.edu.br:8080/jspui/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 UCB-2_ace5ab9e774b9d0447f0de2ad800c9b8
oai_identifier_str oai:localhost:riufcg/9874
network_acronym_str UCB-2
network_name_str Repositório Institucional da UCB
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/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-28T20:14:17Zoai:localhost:riufcg/9874Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-28T20:14:17Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)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 http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
url http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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:Repositório Institucional da UCB
instname:Universidade Católica de Brasília (UCB)
instacron:UCB
instname_str Universidade Católica de Brasília (UCB)
instacron_str UCB
institution UCB
reponame_str Repositório Institucional da UCB
collection Repositório Institucional da UCB
repository.name.fl_str_mv Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)
repository.mail.fl_str_mv sara.ribeiro@ucb.br
_version_ 1834013173303214080

Registros relacionados