Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing

Martínez²,

Anais Do Congresso Brasileiro De Automática 2020

2020

Self Cite

Microgrids appear as a practical, clean and reliable solution to meet the demand of populations that, for various reasons, do not have access to electricity. The complexity of microgrid systems, requires considerable engineering eort in the design process. To design this type of complex systems, new approaches, methods, concepts and engineering tools are needed. Where, the requirements analysis has a preponderant role to better characterize, understand and specify the application domain and the problem that the microgrids must solve. This work proposes the introduction of a formal analysis of requirements in the life cycle of microgrid systems, using IEC 61850 as a reference architecture. The requirements would be represented in an Object Oriented Requirements Engineering (GORE) approach, using specically visual diagrams based on the KAOS (Keep All Objectives Satised) method, where the operation and control of the network will be formally represented. The requirements analysis is presented using a combined representation that uses the GORE and Petri Nets methodology for dynamic modeling and formal verication. A case study for small communities in the Amazon rainforest is used as a case study for the proposed method.

Section: Conceptual Description Of the Methodsmentioning

confidence: 99%

Section: Converting Kaos Diagrams Into Petri Netsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Microgrid System Design Based On Model Based Systems Engineering And Goal-Oriented Requirements Engineering

Martínez²,

Anais Do Congresso Brasileiro De Automática 2020

2020

Self Cite

“…However, these formulas specify each process and it is not so easy to express distributed dynamics. In order to confront, several papers propose the translation of LTL representation for Petri nets (Silva and Silva, 2015).…”

Section: Formal Representation (Ltl)mentioning

confidence: 99%

Applying goal-oriented requirement engineering and refence architecture for microgrid systems

Silva²,

2020

BASR

Self Cite

“…systems is a recent trend in electrical systems and has attracted the attention of researchers and implementers. Some existing methods consider a requirements phase in the life-cycle, but do not fully meet the requirements phase, they only satisfy some preliminary steps informally (Silva and Silva, 2015).…”

Section: Introductionmentioning

confidence: 99%

Formal Requirements for Microgrid Using Kaos and Reference Architecture

Anais Do 14º Simpósio Brasileiro De Automação Inteligente

2019

Self Cite

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.