Applying goal-oriented requirement engineering and reference architecture for microgrid systems / Aplicação de engenharia de requisitos orientada a objetivos e arquitetura de referência para sistemas microgrid

Miguel Angel Orellana Postigo, Javier Martinez Silva, José Reinaldo Silva


This paper presents a method for specifying requirements, applied to the operation of a microgrid. The challenge is to model Smart Grid (SG) systems requirements using formal methods based on schematic representations that will allows analysis, verification and validation, improving the reliability and performance of the design cycle.  Considering the inherent complexity of these systems - generally heterogeneous, open and distributed - formal modeling is a key issue for the design of automated electrical systems to fit user experience expectations. In this article we propose a systemic approach that combines consolidated reference architectures and modern goal-oriented requirements engineering methods in the early steps of microgrid design. The formalism proposed is intended to obtain formal requirements models associated with standards and reference models proposed and accepted by the scientific and practitioner community.


Requirements Engineering, KAOS, IEC 61850, Microgrid.

Texto completo:



Berger, L. T. and Iniewski, K. (2012). Smart grid: applications, communications, and security, Wiley.

Commission, I. E. et al. (2008). Intelligrid Methodology for Developing Requirements for Energy Systems, IEC.

Cretu, L. G. and Dumitriu, F. (2014). Model-Driven Engineering of Information Systems: Principles, Techniques, and Practice, CRC Press.

Hongwei, D. (2014). Design and application of microgrid operation control system based on IEC 61850.

Horkoff, J., Aydemir, F. B., Cardoso, E., Li,T., Mat ́e, A., Paja, E., Salnitri, M., Piras,L., Mylopoulos, J. and Giorgini, P. (2017). Goal-oriented requirements engineering: an extended systematic mapping study, Requirements Engineering pp. 1–28.

Mazzolini, M., Brusaferri, A. and Carpanzano, E. (2011). An integrated framework for mode-based design and verification of discrete automation solutions, Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, IEEE, pp. 545–550.

Naumann, A., Bielchev, I., Voropai, N. and Sty-czynski, Z. (2014). Smart Grid automation using IEC 61850 and CIM standards, Control Engineering Practice25: 102–111.

Postigo, M., Silva, J., & Silva, J. (2018). Formal requirements specification for microgrid based on architecture IEC 61.850. In proc. of the XXII Brazilian congress on automation. Brazilian society of automation.

Sechilariu, M. and Locment, F. (2016). Urban DC Microgrid: Intelligent Control and Power Flow Optimization, Butterworth-Heinemann.

Silva, J. M. and Silva, J. R. (2015). Combining KAOS and Ghenesys in the requirement and analysis of service manufacturing, IFAC-Papers OnLine48(3): 1634–1639.

Uslar, M., Specht, M., D ̈anekas, C., Trefke, J., Ro-hjans, S., Gonz ́alez, J. M., Rosinger, C. and Bleiker, R. (2012). Standardization in Smart Grids: introduction to IT-related methodologies, architectures and standards, Springer Science & Business Media.



  • Não há apontamentos.