00 CAMPUS ARISTÓTELES CALAZANS SIMÕES (CAMPUS A. C. SIMÕES) IC - INSTITUTO DE COMPUTAÇÃO Dissertações e Teses defendidas na UFAL - IC
Use este identificador para citar ou linkar para este item: http://www.repositorio.ufal.br/jspui/handle/riufal/841
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisor1Silva, Leandro Dias da-
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/7856968264410259por
dc.contributor.referee1Perkusich, Angelo-
dc.contributor.referee1LattesPERKUSICH, A.por
dc.contributor.referee2Brito, Patrick Henrique da Silva-
dc.contributor.referee2Latteshttp://lattes.cnpq.br/4155051332618408por
dc.creatorPeixoto, Rodrigo José Sarmento-
dc.creator.Latteshttp://lattes.cnpq.br/6425071675662791por
dc.date.accessioned2015-08-25T18:46:25Z-
dc.date.available2011-05-10-
dc.date.available2015-08-25T18:46:25Z-
dc.date.issued2010-10-28-
dc.identifier.citationPEIXOTO, 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.por
dc.identifier.urihttp://repositorio.ufal.br/handle/riufal/841-
dc.description.abstractThe 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 testedeng
dc.description.sponsorshipFundação de Amparo a Pesquisa do Estado de Alagoas-
dc.formatapplication/pdfpor
dc.languageporpor
dc.publisherUniversidade Federal de Alagoaspor
dc.publisher.countryBRpor
dc.publisher.departmentModelagem Computacional de Conhecimentopor
dc.publisher.programPrograma de Pós-Graduação em Modelagem Computacional de Conhecimentopor
dc.publisher.initialsUFALpor
dc.rightsAcesso Abertopor
dc.subjectSoftware - Data collect systemeng
dc.subjectComputational model - Testseng
dc.subjectTimed Automataseng
dc.subjectControl systemseng
dc.subjectSoftware - Sistema de coleta de dadospor
dc.subjectModelos computacionais -Testespor
dc.subjectAutômatos temporizadospor
dc.subjectSistemas de controlepor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpor
dc.titleGungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizadospor
dc.title.alternativeGungnir: a tool for executing and generating conformance tests using timed automatas.eng
dc.typeDissertaçãopor
dc.description.resumoOobjetivo 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 testespor
Aparece nas coleções:Dissertações e Teses defendidas na UFAL - IC

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados.pdf7.29 MBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.