FORMAL REQUIREMENTS FOR MICROGRID USING KAOS AND REFERENCE ARCHITECTURE

Este artigo apresenta um método para especificação de requisitos, aplicado à operação de uma microgrid. O desafio é expressar as características dos sistemas Smart Grid na forma de requisitos usando métodos formais, através de uma linguagem esquemática que permita fazer análise, verificação e validação e obter como resultado um modelo consistente que pode ser transferido para fases posteriores do ciclo de vida. Considerando a complexidade inerente desses sistemas, por serem sistemas heterogêneos, abertos e distribuídos; além disso, ter ambientes para o desenvolvimento e aplicação do Design disjuntos, torna o processo de Design muito complexo. Portanto, a proposta inclui uma abordagem sistemática que combina arquiteturas de referência consolidadas e métodos modernos de engenharia de requisitos orientada a objetivos GORE, modelagem, especificação e verificação formal. Com o formalismo aplicado no processo, pretende-se obter como resultado requisitos formalizados, e através da modelagem lógica e formal será mostrada a robustez do método proposto.