Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.

• Ano de defesa: 2008
• Autor(a) principal: BARBOSA, Luiz Paulo de Assis.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA; UFCG
• Palavras-chave em Português: Sistemas Instrumentados de Segurança.; Autômatos Tempondos.; Sistemas a Eventos Discretos.; Controladores Lógicos Programáveis.; Testes Baseados em Modelos.; Instrumented Security Systems.; Tempted Automatics.; Systems to Discrete Events.; Programmable Logic Controllers.; Testing Based on Models.; Engenharia Elétrica.
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3276

Os Sistemas Instrumentados de Segurança (SIS) são projetados para garantir a operação contínua de sistemas de produção industrial, controlar o comportamento dos equipamentos envolvidos no processo produtivo e prevenir acidentes, portanto, é importante testar a implementação dos SIS contra sua especifica¸c˜ao para aumentar a confiança no funcionamento do sistema. Neste trabalho é introduzida uma técnica para melhorar a confiança no funcionamento dos SIS. Um método para obter automaticamente um modelo de autômato temporizado da especificação, diagramas ISA 5.2, e da implementação do SIS, Function Block Diagram (FBD), é apresentado. Uma abordagem para realizar teste automático da implementação utilizando os modelos gerados é discutida e finalmente a técnica é aplicada a um estudo de caso provido pela Petrobras. O método introduzido aqui é baseado no uso do verificador de modelos Uppaal e na ferramenta de teste Uppaal-TRON.