Defesa de Tese de Doutorado de Kézia de Vasconcelos Oliveira 17/02 às 08:30HS

postado em 6 de fev de 2014 11:58 por Franklin de Souza Ramalho   [ 14 de fev de 2014 10:34 atualizado‎(s)‎ ]
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.

Comments