Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874| Title: | Geração automática de testes de conformidade para programas de controladores lógicos programáveis. |
| Other Titles: | Automatic generation of tests of compliance for programmable logic controllers. |
| ???metadata.dc.creator???: | OLIVEIRA, Kézia de Vasconcelos. |
| ???metadata.dc.contributor.advisor1???: | PERKUSICH, Angelo. |
| ???metadata.dc.contributor.advisor2???: | SILVA, Leandro Dias da. |
| ???metadata.dc.contributor.referee1???: | ALMEIDA , Hyggo Oliveira de. |
| ???metadata.dc.contributor.referee2???: | LIMA, Antônio Marcus Nogueira. |
| Keywords: | Testes de Conformidade;Controladores Lógicos Programáveis;Autômatos Temporizados;Compliance Tests;Programmable Logic Controllers;Timed Automata |
| Issue Date: | 28-Aug-2009 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | 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 |
| ???metadata.dc.description.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. |
| Abstract: | 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. |
| Keywords: | Testes de Conformidade Controladores Lógicos Programáveis Autômatos Temporizados Compliance Tests Programmable Logic Controllers Timed Automata |
| ???metadata.dc.subject.cnpq???: | Ciência da Computação |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| KÉZIA DE VASCONCELOS OLIVEIRA - DISSERTAÇÃO (PPGCC) 2009..pdf | Kézia de Vasconcelos Oliveira - Dissertação PPGCC 2009. | 638.31 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.