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
- 0
- Página(s)
- DOI
- 10.48011/asba.v2i1.1146
- Published
- 2020
- Month
- 0
- 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