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