Applying a model-driven approach to the development of power plant SCADA/EMS software

Neis, Paulo; Wehrmeister, Marco A.; Mendes, Marcos Fonseca; Pesente, Jonas

doi:10.1016/j.ijepes.2023.109336

Cited by 3 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this sense, the proposed malleable model design approach in this work provides a formulation and solution to the integration error problem in critical systems supervision with bidirectional connection between static and dynamics behaviors. This tendency to build flexible models for power system automation has been widely sought after in the last decade [17,19,25,26].…”

Section: Discussionmentioning

confidence: 99%

“…Validation 19 and checking 20 with HCPN are crucial for ensuring the functional correctness, effectiveness and then reliability of critical systems. CPN offer a formal modeling approach that allows construction, validation and checking of system behaviors.…”

Section: Performance Analysismentioning

confidence: 99%

“…In this work, the HCPN analysis is performed by CPN Tools 21 , which constitutes a suite of tools utilized for the purposes of modeling, editing, simulation and analysis of state space. By employing the 19 Validation is the essential procedure of confirming that a software system or component satisfies the specified criteria and operates effectively within its designated environment. The primary goal of this validation stage is to identify and correct any errors in the software to guarantee its compliance with the user requirements and its proper functioning.…”

Section: Performance Analysismentioning

confidence: 99%

See 2 more Smart Citations

A Malleable Model Development for Critical Systems Supervision Integration

Lisboa,

Melo,

Campos

et al. 2024

Preprint

View full text Add to dashboard Cite

The critical systems, which the failure and malfunction may result in human, environment and financial severe damages, are essential components in various sectors and particularly in energy domains. Although unwished, integration error problems in supervision of critical systems occurs, incurring significant expenses because of operator’s subjective analysis and on hardware topology failures. In this work, a malleable model design approach is proposed to formulate and solve the integration error problem in the critical systems supervision in terms of reliability. A real Hybrid Power Plant (HPP) case is considered as a requirement for a study case with simulated data. A method framework with informal approach (C4 diagram) and formal approach (Hierarchical Coloured Petri Nets) in radial spectrum is applied to the HPP supervision design. Using formal methods, a formulation and solution to this problem through structured, scalable and compact mathematical representations are possible. This malleable model intends to guarantee functional correctness and then reliability of the plant supervision system based on system software architecture. Outcomes suggest corroboration that the malleable model is appropriate for energy domain, and can be used for other types of critical systems, bringing all the benefits of this methodology to the context in which it will be applied.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Performance Analysismentioning

confidence: 99%

Section: Performance Analysismentioning

confidence: 99%

See 1 more Smart Citation

A Malleable Model Development for Critical Systems Supervision Integration

Lisboa,

Melo,

Campos

et al. 2024

Preprint

View full text Add to dashboard Cite

show abstract

A dynamic coordination of microgrids

Mbungu,

Siti,

Bansal

et al. 2025

Applied Energy

View full text Add to dashboard Cite

The Development of a Malleable Model for Critical System Supervision Integration

Lisboa,

Melo,

Campos

et al. 2024

Energies

View full text Add to dashboard Cite

Critical systems, in which failure and malfunction may result in severe human, environmental, and financial damages, are essential components in various sectors and particularly in energy domains. Although undesirable, integration error problems in the supervision of critical systems do occur, incurring significant expenses due to an operator’s subjective analysis and hardware topology failures. In this work, a malleable model design approach is proposed to formulate and solve the integration error problem in critical systems’ supervision in terms of reliability. A real hybrid power plant (HPP) case is considered for a case study with simulated data. A method framework with an informal approach (C4 diagram) and formal approach (hierarchical colored Petri nets) in a radial spectrum is applied to the HPP supervision design. In using formal methods, a formulation and solution to this problem through structured, scalable, and compact mathematical representations are possible. This malleable model is intended to guarantee the functional correctness and also reliability of the plant supervision system based on system software architecture. The outcomes suggest that the malleable model is appropriate for the energy domain and can be used for other types of critical systems, bringing all the benefits of this methodology to the context in which it will be applied.

show abstract

Applying a model-driven approach to the development of power plant SCADA/EMS software

Cited by 3 publications

References 21 publications

A Malleable Model Development for Critical Systems Supervision Integration

A Malleable Model Development for Critical Systems Supervision Integration

A dynamic coordination of microgrids

The Development of a Malleable Model for Critical System Supervision Integration

Contact Info

Product

Resources

About