Formal Requirements for Microgrid Using Kaos and Reference Architecture

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, verification and validation, improving the reliability and performance of the design cycle. Considering the inherent complexity of these systems-generally heterogeneous, open and distributedformal 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.