Dissertação de Mestrado: 25/02/2011, 10:00.

postado em 14 de fev de 2011 05:08 por Hyggo Oliveira de Almeida
Aluno: Leonardo Rodrigues Sampaio. 
Título: Validação Visual de Programas Ladder baseada em Modelos
Local: Auditório do Laboratório Embedded. 
Banca Examinadora: Angelo Perkusich (UFCG), Orientador, Leandro Dias da Silva (UFAL), Orientador, Hyggo Oliveira de Almeida (UFCG), Jose Sergio da Rocha Neto (UFCG).  
Data: 25/02/2011.
Hora: 10:00.

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 dispendiosas 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 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

Agradecemos a sua presença.