DesignLab
  • Departamento de Engenharia Mecatrônica
    Escola Politécnica - Universidade de São Paulo

Microgrid System Design Based on Model Based Systems Engineering and Goal-Oriented Requirements Engineering

Miguel A. Orellana Postigo; Jose Reinaldo Silva

Journal 
 
Autor 
Miguel A. Orellana Postigo; Jose Reinaldo Silva 
Book Title 
Proc. do CBA 2020 
Volume 
Página(s) 
 
DOI 
10.48011/asba.v2i1.1146 
Published 
2020 
Month 
Tipo de Documento 
Conference Proceedings 
Abstract 
The complexity of microgrid systems requires considerable engineering effort in the design process. To design this type of complex system, 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 specifically visual diagrams based on the KAOS (KeepAll Objectives Satisfied) 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 verification. A case study for small communities in the Amazon rain forest is used as a case study for the proposed method. 
Keywords 
Projeto de sistemas, modelagem formal, metodologia GORE, redes de Petri, microgrid 
Publisher 
Anais do CBA2020, SBA - Sociedade Brasileira de Automática 
URL 
https://www.sba.org.br/open_journal_systems/index.php/sba/article/view/1146/1073