UMA PROPOSTA DE APLICAÇÃO DA MBSE E FPGA PARA CONTROLE DE MICRORREDES BASEADO NA ARQUITETURA IEC 61850

  • Miguel Angel Orellana Postigo Departamento de Engenharia Eletrônica / Elétrica Escola Superior de Tecnologia - Universidade do Estado do Amazonas. Manaus/AM
  • Jose Reinaldo Silva Design Lab, Departamento de Engenharia Mecatrônica Escola Politécnica - Universidade de São Paulo. São Paulo/SP
Keywords: Systems design, formal modeling, Petri nets, microgrid, FPGA

Abstract

Microgrids emerge as a practical, sustainable, and reliable solution to meet the demand of users who, for various reasons, have restricted access to electricity. However, the flexibility of microgrid systems requires considerable creative engineering effort, especially in the design process. The requirements analysis has a leading role in combining adaptability to users and good performance, better characterizing, understanding, and specifying the application domain and the problem that the microgrids must solve, then embodying and identifying solutions. This work seeks to contribute to a method (Orellana Postigo, 2021) inserted in the MBSE (Model-Based Systems Engineering) approach to model microgrids using IEC 61850 as a reference architecture for the preliminary design. Requirements would be represented in Objective Oriented Requirements Engineering (GORE), using visual diagrams based on the KAOS (Keep All Objectives Satisfied) method, but formally verified using Petri Nets. A case study shows how a preliminary design with matching goals, sub-goals, and algorithms is modeled in Petri Nets and transferred to Field Programmable Gate Array (FPGA), closing the proposed design cycle.
Published
2023-10-18