Microgrid System Design Based On Model Based Systems Engineering And Goal-Oriented Requirements Engineering

  • Miguel Angel Orellana Postigo Universidade do Estado do Amazonas
  • Javier Martinez SIDIA Instituto de Ciência e Tecnologia
  • José Reinaldo Silva Universidade de São Paulo
Keywords: System design, Formal modeling, GORE methodology, Petri Nets, Microgrid


Microgrids appear as a practical, clean and reliable solution to meet the demand of populations that, for various reasons, do not have access to electricity. The complexity of microgrid systems, requires considerable engineering eort in the design process. To design this type of complex systems, new approaches, methods, concepts and engineering tools are needed. Where, the requirements analysis has a preponderant role to better characterize, understand and specify the application domain and the problem that the microgrids must solve. This work proposes the introduction of a formal analysis of requirements in the life cycle of microgrid systems, using IEC 61850 as a reference architecture. The requirements would be represented in an Object Oriented Requirements Engineering (GORE) approach, using specically visual diagrams based on the KAOS (Keep All Objectives Satised) method, where the operation and control of the network will be formally represented. The requirements analysis is presented using a combined representation that uses the GORE and Petri Nets methodology for dynamic modeling and formal verication. A case study for small communities in the Amazon rainforest is used as a case study for the proposed method.