Validação visual de programas Ladder baseada em modelos.

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: SAMPAIO, Leonardo Rodrigues.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875
Resumo: Sistemas de controle são freqüentemente utilizados na indústria na realização de tarefas críticas. Falhas nestas operações muitas vezes acarretam em perdas e podem colocar a segurança da planta em risco. Portanto, garantir a corretude de programas implementados em sistemas de controle é necessário. Técnicas de verificação e validação desenvolvidas pela academia muitas vezes primam por aspectos técnicos mas possuem pouca aceitação na indústria devido ao necessário domínio de conceitos avançados. A academia procura aplicar métodos formais na criação de ferramentas neste contexto, permitindo a análise e adaptação genérica. No entanto, o nível de conhecimento sobre conceitos como modelagem e abstração impedem uma vasta adoção das mesmas. O objetivo deste trabalho é a introdução de um método amigável de verificação visual de conformidade, ocultando detalhes de implementação dos usuários durante a fase de teste de programas Ladder implantados em sistemas de controle e permitindo sua operação sem a necessidade de treinamento específico em métodos formais.