FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850

Abstract

Os sistemas Smart Grid (SG) s˜ao considerados uma alternativa sustent´avel para problemas de fornecimento de energia em todo o mundo. Os sistemas de SG s˜ao abertos, distribu´ıdos e heterogˆeneos, o que aumenta a demanda por seu processo de design. Na atualidade, os projetos de SG geralmente s˜ao elaborados aplicando m´etodos dedutivos, onde a fase de especifica¸c˜ao de requisitos n˜ao alcan¸cam o modelo completo. Por outro lado, considerando a importˆancia da fase de requisitos, ´e necess´ario fornecer m´etodos, ferramentas e conceitos para melhor caracterizar, compreender e especificar o dom´ınio de aplica¸c˜ao de sistemas SG. Este trabalho prop˜oe a introdu¸c˜ao de uma an´alise de requisitos formais no ciclo de vida SG que se adapta `a arquitetura IEC61850. Os requisitos seriam representados em uma abordagem orientada a objetivos (GORE) especificamente usando diagramas visuais baseados no m´etodo KAOS que ser˜ao transformados em uma representa¸c˜ao de Redes de Petri estendida, que possibilite gerenciar os modos de opera¸c˜ao de uma microgrid. Os resultados pr´aticos s˜ao mostrados atrav´es de um exemplo que mostra a aplica¸c˜ao da metodologia GORE e da modelagem de redes Petri com a an´alise correspondente para atender aos requisitos espec´ıficos associados a uma migrogrid para a regi˜ao Amazˆonica.