Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados
Autor(a) principal: | |
---|---|
Data de Publicação: | 2010 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da Universidade Federal de Alagoas (UFAL) |
Texto Completo: | http://repositorio.ufal.br/handle/riufal/841 |
Resumo: | The aim of this work is to increase the dependability of automation systems through the use of a tool for automatic generating and executing conformance tests. The developed tool calledGungnir uses formalmodels to performits actions,whose standard used is the formalism of Timed Automata (TA). The control systems consists of programmable logic controllers (PLC) and are often developed with Ladder and Function Block Diagram (FBD) languages. The Gugnir s key activity is to verify if the implementation of the control system developed in Ladder is compatible with the specification defined using the ISA 5.2 standard. To do so we used translation tools (from Ladder and ISA 5.2. to TA models), define coverages criteria and heuristics to ensure that the model was well tested |
id |
UFAL_2036ef864aa4cb429116dcea2c327538 |
---|---|
oai_identifier_str |
oai:www.repositorio.ufal.br:riufal/841 |
network_acronym_str |
UFAL |
network_name_str |
Repositório Institucional da Universidade Federal de Alagoas (UFAL) |
repository_id_str |
|
spelling |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizadosGungnir: a tool for executing and generating conformance tests using timed automatas.Software - Data collect systemComputational model - TestsTimed AutomatasControl systemsSoftware - Sistema de coleta de dadosModelos computacionais -TestesAutômatos temporizadosSistemas de controleCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOThe aim of this work is to increase the dependability of automation systems through the use of a tool for automatic generating and executing conformance tests. The developed tool calledGungnir uses formalmodels to performits actions,whose standard used is the formalism of Timed Automata (TA). The control systems consists of programmable logic controllers (PLC) and are often developed with Ladder and Function Block Diagram (FBD) languages. The Gugnir s key activity is to verify if the implementation of the control system developed in Ladder is compatible with the specification defined using the ISA 5.2 standard. To do so we used translation tools (from Ladder and ISA 5.2. to TA models), define coverages criteria and heuristics to ensure that the model was well testedFundação de Amparo a Pesquisa do Estado de AlagoasOobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle são constituídos por Controladores Lógicos Programáveis (CLP) e normalmente são desenvolvidos nas linguagens Ladder e Function Block Diagram (FBD). A atividade da Gungnir é verificar se a implementação do sistema de controle desenvolvida na linguagem Ladder é compatível com a especificação modelada utilizando o padrão ISA 5.2. Para isso são utilizadas ferramentas de tradução de programas Ladder e diagramas ISA 5.2 para modelos de AT, definidos critérios de cobertura e criadas heurísticas as quais asseguraram menor custo computacional durante a execução dos testesUniversidade Federal de AlagoasBRModelagem Computacional de ConhecimentoPrograma de Pós-Graduação em Modelagem Computacional de ConhecimentoUFALSilva, Leandro Dias dahttp://lattes.cnpq.br/7856968264410259Perkusich, AngeloPERKUSICH, A.Brito, Patrick Henrique da Silvahttp://lattes.cnpq.br/4155051332618408Peixoto, Rodrigo José Sarmento2015-08-25T18:46:25Z2011-05-102015-08-25T18:46:25Z2010-10-28info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfPEIXOTO, Rodrigo José Sarmento. Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. 2010. 64 f. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Maceió, 2010.http://repositorio.ufal.br/handle/riufal/841porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da Universidade Federal de Alagoas (UFAL)instname:Universidade Federal de Alagoas (UFAL)instacron:UFAL2020-04-03T14:36:37Zoai:www.repositorio.ufal.br:riufal/841Repositório InstitucionalPUBhttp://www.repositorio.ufal.br/oai/requestri@sibi.ufal.bropendoar:2020-04-03T14:36:37Repositório Institucional da Universidade Federal de Alagoas (UFAL) - Universidade Federal de Alagoas (UFAL)false |
dc.title.none.fl_str_mv |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados Gungnir: a tool for executing and generating conformance tests using timed automatas. |
title |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
spellingShingle |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados Peixoto, Rodrigo José Sarmento Software - Data collect system Computational model - Tests Timed Automatas Control systems Software - Sistema de coleta de dados Modelos computacionais -Testes Autômatos temporizados Sistemas de controle CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
title_short |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
title_full |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
title_fullStr |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
title_full_unstemmed |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
title_sort |
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
author |
Peixoto, Rodrigo José Sarmento |
author_facet |
Peixoto, Rodrigo José Sarmento |
author_role |
author |
dc.contributor.none.fl_str_mv |
Silva, Leandro Dias da http://lattes.cnpq.br/7856968264410259 Perkusich, Angelo PERKUSICH, A. Brito, Patrick Henrique da Silva http://lattes.cnpq.br/4155051332618408 |
dc.contributor.author.fl_str_mv |
Peixoto, Rodrigo José Sarmento |
dc.subject.por.fl_str_mv |
Software - Data collect system Computational model - Tests Timed Automatas Control systems Software - Sistema de coleta de dados Modelos computacionais -Testes Autômatos temporizados Sistemas de controle CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
topic |
Software - Data collect system Computational model - Tests Timed Automatas Control systems Software - Sistema de coleta de dados Modelos computacionais -Testes Autômatos temporizados Sistemas de controle CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
description |
The aim of this work is to increase the dependability of automation systems through the use of a tool for automatic generating and executing conformance tests. The developed tool calledGungnir uses formalmodels to performits actions,whose standard used is the formalism of Timed Automata (TA). The control systems consists of programmable logic controllers (PLC) and are often developed with Ladder and Function Block Diagram (FBD) languages. The Gugnir s key activity is to verify if the implementation of the control system developed in Ladder is compatible with the specification defined using the ISA 5.2 standard. To do so we used translation tools (from Ladder and ISA 5.2. to TA models), define coverages criteria and heuristics to ensure that the model was well tested |
publishDate |
2010 |
dc.date.none.fl_str_mv |
2010-10-28 2011-05-10 2015-08-25T18:46:25Z 2015-08-25T18:46:25Z |
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 |
PEIXOTO, Rodrigo José Sarmento. Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. 2010. 64 f. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Maceió, 2010. http://repositorio.ufal.br/handle/riufal/841 |
identifier_str_mv |
PEIXOTO, Rodrigo José Sarmento. Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. 2010. 64 f. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Maceió, 2010. |
url |
http://repositorio.ufal.br/handle/riufal/841 |
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.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Alagoas BR Modelagem Computacional de Conhecimento Programa de Pós-Graduação em Modelagem Computacional de Conhecimento UFAL |
publisher.none.fl_str_mv |
Universidade Federal de Alagoas BR Modelagem Computacional de Conhecimento Programa de Pós-Graduação em Modelagem Computacional de Conhecimento UFAL |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da Universidade Federal de Alagoas (UFAL) instname:Universidade Federal de Alagoas (UFAL) instacron:UFAL |
instname_str |
Universidade Federal de Alagoas (UFAL) |
instacron_str |
UFAL |
institution |
UFAL |
reponame_str |
Repositório Institucional da Universidade Federal de Alagoas (UFAL) |
collection |
Repositório Institucional da Universidade Federal de Alagoas (UFAL) |
repository.name.fl_str_mv |
Repositório Institucional da Universidade Federal de Alagoas (UFAL) - Universidade Federal de Alagoas (UFAL) |
repository.mail.fl_str_mv |
ri@sibi.ufal.br |
_version_ |
1748233736118337536 |