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

FORMAL REQUIREMENTS FOR MICROGRID USING KAOS AND REFERENCE ARCHITECTURE

Miguel A. Orellana Postigo, Jose Reinaldo Silva

Journal 
 
Autor 
Miguel A. Orellana Postigo, Jose Reinaldo Silva 
Book Title 
Anais do SBAI 2019 
Volume 
Página(s) 
 
DOI 
 
Published 
2019 
Month 
Tipo de Documento 
Conference Proceedings 
Abstract 
This paper presents a method for specifying requirements, applied to the operation of a microgrid. The challenge is to model Smart Grid systems requirements using formal methods based on schematic representations that will allows analysis, veri cation 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 t 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 scienti c and practitioner community. 
Keywords 
sustainable energy, automation, urban microgrids, requirements engineering, goal-oriented requirements 
Publisher 
Anais do SBAI 2019, SBA - Sociedade Brasileira de Automática 
URL