@MASTERSTHESIS{ 2017:1289089559,
 	title = {Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística},
 	year = {2017},
 	url = "http://tede.unioeste.br/handle/tede/3398",
 	abstract = "A linha de pesquisa abordada neste trabalho aponta para o estudo e desenvolvimento de ferramentas
 que subsidiem a proposição e validação de Sistemas de Proteção de Sistemas de Energia
 Elétrica. Em geral, este processo é realizado mediante simulações computacionais envolvendo
 diversos cenários de operação e distúrbios, tendo como principal limitação a impossibilidade de
 representar todos os caminhos de evolução do sistema em análise. Nesse contexto, propõe-se o
 emprego da técnica de Modelagem e Verificação Formal como ferramenta de suporte ao projeto,
 análise e implementação de estratégias de proteção, principalmente no sentido de comprovar se
 a estratégia atende os requisitos de segurança e comportamento determinístico temporal esperado.
 Em síntese, o método consiste na verificação de propriedades descritas em lógicas temporais,
 sob uma abstração apropriada (formalismo) do comportamento do sistema. Esta dissertação
 possui enfoque nestes dois requisitos: modelagem do sistema de proteção através de um
 formalismo adequado e tradução dos requisitos do comportamento desejado em propriedades
 descritas em lógica temporal. Com relação ao formalismo de apoio, a modelagem do sistema
 de proteção é baseada em uma abstração de Autômatos Temporizados Híbridos. Como ferramenta
 de validação, adota-se a técnica de Verificação Formal Estatística, através do software
 UPPAAL STRATEGO. Salienta-se que este trabalho se delimita apenas na modelagem e validação
 individual dos principais equipamentos de um sistema de proteção, sendo 18 modelos de dispositivos
 e protocolos como barramentos de comunicação (LAN), protocolo de sincronização
 de tempo PTP, protocolos de comunicação baseados em IEC 61850 e funções de proteção, e 13
 modelos auxiliares que implementam um comportamento estocástico para subsidiar o processo
 de validação do sistema de proteção. O desenvolvimento dos modelos se deu através de uma
 abordagem sistemática envolvendo processos de simulação e verificação das propriedades sob
 o modelo em análise. Através desta metodologia, garante-se que os modelos desenvolvidos representam
 o comportamento esperado de seus respectivos dispositivos. Para isso, os resultados
 do processo de verificação foram comparados com requisitos comportamentais definidos por
 normas, testes de conformidade em equipamentos/protocolos e trabalhos acadêmicos vinculados
 à área. Com relação às contribuições do trabalho, identificou-se três linhas de pesquisa que
 podem fazer o uso dos modelos desenvolvidos: i) implementação de novas estratégias de proteção;
 ii) realização de testes de conformidade em equipamentos externos à rede de autômatos;
 e iii) indicação de erros de parametrização do sistema de proteção.",
 	publisher = {Universidade Estadual do Oeste do Paraná},
 	scholl = {Programa de Pós-Graduação em Engenharia Elétrica e Computação},
 	note = {Centro de Engenharias e Ciências Exatas}
}