1) As PRODUÇÕES ACADÊMICAS devem ser encaminhadas para o e-mail ri@sibi.ufal.br, juntamente com o Termo de Autorização para a Publicação (assinado).
2) Devem estar inseridas no CORPO da produção acadêmica, os seguintes documentos:
FICHA CATALOGRÁFICA - elaborada por um bibliotecário.
FOLHA DE APROVAÇÃO - deve estar assinada por todos ou, pelo menos, dois membros da banca examinadora. Excepcionalmente, poderá ser assinada por um
membro da banca examinadora e pelo respectivo Coordenador do Curso de Graduação ou Programa de Pós-Graduação.
3) O TERMO DE AUTORIZAÇÃO PARA PUBLICAÇÃO deverá estar preenchido, de acordo com o tipo de produção, assinado pelo(a) autor(a) e enviado por e-mail,
juntamente com o trabalho acadêmico.
OBS 1.: os TCC dos CURSOS DE PEDAGOGIA (Presencial e EaD) do Centro de Educação (CEDU) devem ser enviados, exclusivamente, para os e-mails
coordpedufal@gmail.com e pedagogiauab@gmail.com.
OBS 2.: o tempo de resposta às solicitações enviadas ao RIUFAL é de quatro dias úteis.
OBS 3.: para mais informações sobre o RIUFAL, acesse www.sibi.ufal.br.
http://www.repositorio.ufal.br/jspui/handle/riufal/841| Tipo: | Dissertação |
| Título: | Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados |
| Título(s) alternativo(s): | Gungnir: a tool for executing and generating conformance tests using timed automatas. |
| Autor(es): | Peixoto, Rodrigo José Sarmento |
| Primeiro Orientador: | Silva, Leandro Dias da |
| metadata.dc.contributor.referee1: | Perkusich, Angelo |
| metadata.dc.contributor.referee2: | Brito, Patrick Henrique da Silva |
| Resumo: | 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 |
| Abstract: | 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 |
| Palavras-chave: | 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: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Idioma: | por |
| País: | BR |
| Editor: | Universidade Federal de Alagoas |
| Sigla da Instituição: | UFAL |
| metadata.dc.publisher.department: | Modelagem Computacional de Conhecimento |
| metadata.dc.publisher.program: | Programa de Pós-Graduação em Modelagem Computacional de Conhecimento |
| Citação: | 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. |
| Tipo de Acesso: | Acesso Aberto |
| URI: | http://repositorio.ufal.br/handle/riufal/841 |
| Data do documento: | 28-out-2010 |
| Aparece nas coleções: | Dissertações e Teses defendidas na UFAL - IC |
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados.pdf | 7.29 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.