FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850
Miguel Angel Orellana Postigo1; Javier Martinez Silva2; José Reinaldo Silva2
1 Universidade do Estado do Amazonas - UEA; 2 Universidade de São Paulo - USP
Baixar PDF doi:10.20906/CPS/CBA2018-0577
Resumo
Smart Grid (SG) systems are considered a sustainable alternative to power supply problems all over the world. SG systems are open, distributed and heterogeneous, what raises a huge demand over its design process. At the present, SG projects are usually done by applying deductive methods, where requirement specifications do not reach a complete model. On the other hand, considering the importance of the requirements phase, it is necessary to provide methods, tools, and concepts to better characterize, understand and specify the application domain of SG systems. This work proposes the introduction of a formal requirements analysis in the SG life cycle that fits IEC61850 architecture. Requirements would be represented in a goal oriented approach (GORE) specifically using visual diagrams based on KAOS method that will be transformed in a extended Petri Nets representation to analyze SG automated behavior. Practical results are shown through an example showing the application of GORE methodology and Petri Nets modeling with the corresponding analysis to fit specific requirements associated to microgrid for the Amazon region.
Palavras-chave: Microgrid; Architecture IEC 61850; Petri Nets; Formal modeling; Gore methods