The Development of a Malleable Model for Critical System Supervision Integration

Luciano A. C. Lisboa (), Thamiles R. Melo, Ikaro G. S. A. Campos, Matheus B. Aragão, Alexandre S. Ribeiro, Lucas C. Silva, Valéria L. da Silva, Antonio M. N. Lima and Alex A. B. Santos
Additional contact information
Luciano A. C. Lisboa: Eletrobras Chesf—San Francisco Hydroelectric Company, Recife 50761-085, PE, Brazil
Thamiles R. Melo: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil
Ikaro G. S. A. Campos: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil
Matheus B. Aragão: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil
Alexandre S. Ribeiro: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil
Lucas C. Silva: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil
Valéria L. da Silva: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil
Antonio M. N. Lima: Department of Electrical Engineering, UFCG—Federal University of Campina Grande, Campina Grande 58429-900, PB, Brazil
Alex A. B. Santos: Department of Computational Modelling and Industrial Technology, SENAI CIMATEC University Center—Integrated Campus of Manufacturing and Technology, Salvador 41650-010, BA, Brazil

Energies, 2024, vol. 17, issue 16, 1-37

Abstract: 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.

Keywords: critical systems; automation system; supervision; integration; reliability; malleable model; formal languages; hybrid power plant (search for similar items in EconPapers)
JEL-codes: Q Q0 Q4 Q40 Q41 Q42 Q43 Q47 Q48 Q49 (search for similar items in EconPapers)
Date: 2024
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1996-1073/17/16/4094/pdf (application/pdf)
https://www.mdpi.com/1996-1073/17/16/4094/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jeners:v:17:y:2024:i:16:p:4094-:d:1458424

Access Statistics for this article

Energies is currently edited by Ms. Agatha Cao

More articles in Energies from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().