Defesa de proposta de tese, 08/06/2011 8:00

postado em 14 de mai de 2012 07:03 por Nazareno Ferreira de Andrade
Aluna: Kézia Vanconcelos
Título: Geração e Execução Automática de Testes para Programas de Controladores Lógicos Programáveis para Sistemas Instrumentados de Segurança
Data: 8 de junho de 2012, 08:00.
Local: Auditório do CEEI

Banca: Angelo Perkusich - Orientador (Ds.C, DEE/UFCG), Leandro dias da Silva - Orientador (Ds.C, IC/UFAL), Giovanni Cordeiro Barroso (Ds.C,DF/UFC), Antonio Marcus Nogueira Lima (Doutor, DEE/UFCG), Kyller Costa Gorgônio (Doutor, DSC/UFCG), Hyggo Oliveira de Almeida (Doutor, DSC/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 ou no software 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 de caixa-preta, que contemplam os estados das saídas e propriedades temporizadas do sistema, são utilizadas para avaliar se o programa do SIS, em tempo de execução, está em conformidade com sua especificação dada no formato de diagramas ISA 5.2. Para este propósito, faremos uso de redes de autômatos temporizados, da técnica Hadware in the loop (HIL), tendo como suporte o uso do protocolo OPC e da abordagem de partições de equivalência. Dois estudos de caso reais são apresentados neste trabalho.
Comments