Proposta de método sistêmico baseado em modelos para Smart Grid

O design de sistemas modernos de energia aumentou em complexidade devido a demanda por novas caracteristicas, como: ser sustentavel, distribuido, heterogeneo, escalavel, colaborativo, preservando um alto desempenho. Novas abordagens, metodos, conceitos e ferramentas surgiram para caracterizar, compreender e especificar sistemas hibridos de producao/consumo de energia totalmente adaptados ao ambiente de entorno onde devem funcionar. Este trabalho apresenta uma proposta de metodo sistemico para o desenvolvimento de requisitos aplicado a Smart Grid (SG), baseado em uma abordagem de servico. Portanto, privilegia o acoplamento entre o sistema, o usuario e o dominio. A proposta enfatiza a antecipacao da formalizacao, ja na especificacao de requisitos, para redes distribuidas de SGs, com analise e verificacao do workflow em Redes de Petri (RdP). A rede e sintetizada a partir de diagramas semi-formais, baseados na Engenharia de Requisitos Orientada a Objetivos (GORE). E proposto um ciclo iterativo de desenvolvimento de requisitos composto pelas fases de eliciacao, modelagem, analise, modelagem formal e verificacao. O ciclo proposto foi aplicado a um estudo de caso, para o upgrade de uma microgrid localizada em uma comunidade da floresta amazonica.