XXV SEMINÁRIO NACIONAL DE PRODUÇÃO E TRANSMISSÃO DE ENERGIA ELÉTRICA
BELO HORIZONTE - MG
10 A 13
NOVEMBRO/2019
2019 - EXPOMINAS
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.