Modelagem e verificação de programas de CLP escritos em diagrama ladder

Repositório institucional da UFSC

A- A A+

Modelagem e verificação de programas de CLP escritos em diagrama ladder

Mostrar registro completo

Título: Modelagem e verificação de programas de CLP escritos em diagrama ladder
Autor: Souza, Mateus Feijó de
Resumo: Para resolver os problemas associados a verificação de sistemas industriais complexos, como os desenvolvidos para CLPs, são necessárias técnicas de modelagem e verificação formal, como forma de provar que o programa está de acordo com as propriedades esperadas. Neste trabalho é proposto um modelo de tradução da linguagem Diagrama Ladder de CLPs para uma linguagem intermediária de verificação FIACRE, que está inserida em uma cadeia de verificação formal do projeto Topcased. Esta abordagem segue o paradigma da engenharia dirigida a modelos e consiste em transformar modelos próximos ao usuário em modelos para a verificação. As regras de transformação propostas devem estar inseridas em duas cadeias de verificação formal, que utilizam as abordagens de model-checking e por equivalências de modelos. A validação da proposta é feita por intermédio da transformação de modelos e verificação das propriedades de um sistema de automação pneumática e um sistema para um misturador industrial.
Descrição: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pòs-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010
URI: http://repositorio.ufsc.br/xmlui/handle/123456789/93771
Data:


Arquivos deste item

Arquivos Tamanho Formato Visualização
287047.pdf 2.008Mb PDF Thumbnail

Este item aparece na(s) seguinte(s) coleção(s)

Mostrar registro completo

Buscar DSpace


Busca avançada

Navegar

Minha conta

Estatística

Compartilhar