Grupo: GPC

Tema: Sistemas Locais de Proteção, Automação, Controle e Medição, Incluindo Elos Cc a Dois e Multiterminais:

Título: Avaliação de Sistemas de Proteção Através da Ferramenta de Modelagem e Verificação Formal Estatística

Autores: Felipe Crestani dos Santos(1); Guilherme de Oliveira Kunz(2); Jonas Roberto Pesente(3)

Instituições: FPTI(1); UNIOESTE(2); IB(3)

Resumo: Este informe técnico tem por objetivo a avaliação do emprego da técnica de modelagem e Verificação Formal Estatística como ferramenta de suporte ao projeto, simulação, validação e implementação de sistemas de proteção. A metodologia avaliada é apresentada e aplicada em um sistema de proteção teste baseado em redes Ethernet, evidenciando os principais benefícios que a abordagem baseada em Verificação Formal Estatística pode proporcionar para o processo de projeto e análise de sistemas de proteção, principalmente no sentido de comprovar se a estratégia atende ao comportamento determinístico temporal esperado.