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
- 0
- Página(s)
- DOI
- Published
- 2019
- Month
- 0
- 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, verication 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 scientic 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