Candidato: Kézia de Vasconcelos Oliveira Título do trabalho: Geração e Execução Automática de Testes para Programas de Controladores Lógicos Programáveis para Sistemas Instrumentados de Segurança Orientador(es): Angelo Perkusich e Leandro Dias da Silva Data: 17/02/2014 Horário: 08:30hs Local: Auditório do CEEI Banca examinadora: Antônio Marcus Nogueira Lima (DEE/UFCG), Giovanni Cordeiro Barroso (UFC), Hyggo Oliveira de Almeida (UFCG); Kyller Costa Gorgônio (UFCG) Resumo: Sistemas Instrumentados de Segurança (SIS) são desenvolvidos para garantir a segurança operacional de sistemas industriais prevenindo a ocorrência de situações indesejadas quando da execução de procedimentos realizados automaticamente ou sob a interferência de operadores humanos. Para esses sistemas é fundamental garantir a confiança e a segurança no funcionamento, pois defeitos no hardware, no software ou ainda erros humanos podem ocasionar danos às instalações, aos seres humanos e ao meio ambiente. O objetivo neste trabalho é apresentar um método que aumente a confiança e a segurança em programas de Controladores Lógicos Programáveis (CLP) para SIS. Para tanto, geração e execução automática de casos de teste, que contemplam os estados das saídas e propriedades temporizadas do sistema, são utilizadas para avaliar se o programa do SIS está em conformidade com sua especificação. Para este propósito, faremos uso de uma arquitetura com suporte a verificação dinâmica de programas de CLP para SIS, arquitetura Hardware in the loop (HIL). Além disso, o formalismo de redes de autômatos temporizados em conjunto com diagramas de decisão binária ordenados e reduzidos (ROBDD) são utilizados para gerar casos de teste não redundantes. Três estudos de caso são apresentados neste trabalho. |