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 / Fundação de Amparo a Pesquisa do Estado de Alagoas / Oobjetivo 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 testes
| Identifer | oai:union.ndltd.org:IBICT/oai:www.repositorio.ufal.br:riufal/841 |
| Date | 28 October 2010 |
| Creators | Peixoto, Rodrigo José Sarmento |
| Contributors | Silva, Leandro Dias da, http://lattes.cnpq.br/7856968264410259, Perkusich, Angelo, PERKUSICH, A., Brito, Patrick Henrique da Silva, http://lattes.cnpq.br/4155051332618408 |
| Publisher | Universidade Federal de Alagoas, BR, Modelagem Computacional de Conhecimento, Programa de Pós-Graduação em Modelagem Computacional de Conhecimento, UFAL |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Repositório Institucional da UFAL, instname:Universidade Federal de Alagoas, instacron:UFAL |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | bitstream:http://www.repositorio.ufal.br:8080/bitstream/riufal/841/1/Dissertacao_Rodrigo+Jose+Sarmento+Peixoto_2010.pdf, bitstream:http://www.repositorio.ufal.br:8080/bitstream/riufal/841/2/Dissertacao_Rodrigo+Jose+Sarmento+Peixoto_2010.pdf.txt |
Page generated in 0.0115 seconds