The Development of a Malleable Model for Critical System Supervision Integration

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, incur...

Full description

Saved in:
Bibliographic Details
Published in:Energies (Basel) 2024-08, Vol.17 (16), p.4094
Main Authors: Lisboa, Luciano A. C, Melo, Thamiles R, Campos, Ikaro G. S. A, Aragão, Matheus B, Ribeiro, Alexandre S, Silva, Lucas C, da Silva, Valéria L, Lima, Antonio M. N, Santos, Alex A. B
Format: Article
Language:English
Subjects:
Analysis
Automation
automation system
critical systems
Energy
Failure
Fault location (Engineering)
integration
malleable model
Markov analysis
Methods
Power
reliability
Reliability (Engineering)
Software
Supervision
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue 16
container_start_page 4094
container_title Energies (Basel)
container_volume 17
creator Lisboa, Luciano A. C
Melo, Thamiles R
Campos, Ikaro G. S. A
Aragão, Matheus B
Ribeiro, Alexandre S
Silva, Lucas C
da Silva, Valéria L
Lima, Antonio M. N
Santos, Alex A. B
description 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.
doi_str_mv 10.3390/en17164094
format article
fullrecord <record><control><sourceid>gale_doaj_</sourceid><recordid>TN_cdi_doaj_primary_oai_doaj_org_article_e21f65c2bec14f059350b240b6acd653</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><galeid>A807425068</galeid><doaj_id>oai_doaj_org_article_e21f65c2bec14f059350b240b6acd653</doaj_id><sourcerecordid>A807425068</sourcerecordid><originalsourceid>FETCH-LOGICAL-d254t-25c84981f8fdbfca66e7c51b429b11a081772ef4cdcd616193d390faf7eef9c83</originalsourceid><addsrcrecordid>eNpNj01Lw0AQhoMoWLQXf8GC59T9TvZY6lehRaH1HDa7s3VLko2btNB_72o9OHOYl5fhmXey7I7gGWMKP0BHCiI5VvwimxClZE5wwS7_6etsOgx7nIoxwhibZO_bT0CPcIQm9C10IwoOabTWTQO6bgCtg4UGuRDRIvrRG92gzWkYoUWbQw_x6AcfOrTsRthFPSZ9m1053Qww_Zs32cfz03bxmq_eXpaL-Sq3VPAxp8KUXJXElc7WzmgpoTCC1JyqmhCNS1IUFBw31lhJJFHMpheddgWAU6ZkN9nyzLVB76s--lbHUxW0r36NEHeVjilwAxVQ4qQwtAZDuMNCMYFrynEtdYILllj3Z1Yfw9cBhrHah0PsUvyKYVUoJiX9uTg7b-10gvrOhTFqk9pC603owPnkz0tccCqwLNk3J755tw</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>3097936628</pqid></control><display><type>article</type><title>The Development of a Malleable Model for Critical System Supervision Integration</title><source>Publicly Available Content Database</source><creator>Lisboa, Luciano A. C ; Melo, Thamiles R ; Campos, Ikaro G. S. A ; Aragão, Matheus B ; Ribeiro, Alexandre S ; Silva, Lucas C ; da Silva, Valéria L ; Lima, Antonio M. N ; Santos, Alex A. B</creator><creatorcontrib>Lisboa, Luciano A. C ; Melo, Thamiles R ; Campos, Ikaro G. S. A ; Aragão, Matheus B ; Ribeiro, Alexandre S ; Silva, Lucas C ; da Silva, Valéria L ; Lima, Antonio M. N ; Santos, Alex A. B</creatorcontrib><description>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.</description><identifier>ISSN: 1996-1073</identifier><identifier>EISSN: 1996-1073</identifier><identifier>DOI: 10.3390/en17164094</identifier><language>eng</language><publisher>Basel: MDPI AG</publisher><subject>Analysis ; Automation ; automation system ; critical systems ; Energy ; Failure ; Fault location (Engineering) ; integration ; malleable model ; Markov analysis ; Methods ; Power ; reliability ; Reliability (Engineering) ; Software ; Supervision</subject><ispartof>Energies (Basel), 2024-08, Vol.17 (16), p.4094</ispartof><rights>COPYRIGHT 2024 MDPI AG</rights><rights>2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.proquest.com/docview/3097936628/fulltextPDF?pq-origsite=primo$$EPDF$$P50$$Gproquest$$Hfree_for_read</linktopdf><linktohtml>$$Uhttps://www.proquest.com/docview/3097936628?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>314,780,784,25752,27923,27924,37011,44589,74997</link.rule.ids></links><search><creatorcontrib>Lisboa, Luciano A. C</creatorcontrib><creatorcontrib>Melo, Thamiles R</creatorcontrib><creatorcontrib>Campos, Ikaro G. S. A</creatorcontrib><creatorcontrib>Aragão, Matheus B</creatorcontrib><creatorcontrib>Ribeiro, Alexandre S</creatorcontrib><creatorcontrib>Silva, Lucas C</creatorcontrib><creatorcontrib>da Silva, Valéria L</creatorcontrib><creatorcontrib>Lima, Antonio M. N</creatorcontrib><creatorcontrib>Santos, Alex A. B</creatorcontrib><title>The Development of a Malleable Model for Critical System Supervision Integration</title><title>Energies (Basel)</title><description>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.</description><subject>Analysis</subject><subject>Automation</subject><subject>automation system</subject><subject>critical systems</subject><subject>Energy</subject><subject>Failure</subject><subject>Fault location (Engineering)</subject><subject>integration</subject><subject>malleable model</subject><subject>Markov analysis</subject><subject>Methods</subject><subject>Power</subject><subject>reliability</subject><subject>Reliability (Engineering)</subject><subject>Software</subject><subject>Supervision</subject><issn>1996-1073</issn><issn>1996-1073</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><sourceid>DOA</sourceid><recordid>eNpNj01Lw0AQhoMoWLQXf8GC59T9TvZY6lehRaH1HDa7s3VLko2btNB_72o9OHOYl5fhmXey7I7gGWMKP0BHCiI5VvwimxClZE5wwS7_6etsOgx7nIoxwhibZO_bT0CPcIQm9C10IwoOabTWTQO6bgCtg4UGuRDRIvrRG92gzWkYoUWbQw_x6AcfOrTsRthFPSZ9m1053Qww_Zs32cfz03bxmq_eXpaL-Sq3VPAxp8KUXJXElc7WzmgpoTCC1JyqmhCNS1IUFBw31lhJJFHMpheddgWAU6ZkN9nyzLVB76s--lbHUxW0r36NEHeVjilwAxVQ4qQwtAZDuMNCMYFrynEtdYILllj3Z1Yfw9cBhrHah0PsUvyKYVUoJiX9uTg7b-10gvrOhTFqk9pC603owPnkz0tccCqwLNk3J755tw</recordid><startdate>20240801</startdate><enddate>20240801</enddate><creator>Lisboa, Luciano A. C</creator><creator>Melo, Thamiles R</creator><creator>Campos, Ikaro G. S. A</creator><creator>Aragão, Matheus B</creator><creator>Ribeiro, Alexandre S</creator><creator>Silva, Lucas C</creator><creator>da Silva, Valéria L</creator><creator>Lima, Antonio M. N</creator><creator>Santos, Alex A. B</creator><general>MDPI AG</general><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>DOA</scope></search><sort><creationdate>20240801</creationdate><title>The Development of a Malleable Model for Critical System Supervision Integration</title><author>Lisboa, Luciano A. C ; Melo, Thamiles R ; Campos, Ikaro G. S. A ; Aragão, Matheus B ; Ribeiro, Alexandre S ; Silva, Lucas C ; da Silva, Valéria L ; Lima, Antonio M. N ; Santos, Alex A. B</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-d254t-25c84981f8fdbfca66e7c51b429b11a081772ef4cdcd616193d390faf7eef9c83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Analysis</topic><topic>Automation</topic><topic>automation system</topic><topic>critical systems</topic><topic>Energy</topic><topic>Failure</topic><topic>Fault location (Engineering)</topic><topic>integration</topic><topic>malleable model</topic><topic>Markov analysis</topic><topic>Methods</topic><topic>Power</topic><topic>reliability</topic><topic>Reliability (Engineering)</topic><topic>Software</topic><topic>Supervision</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Lisboa, Luciano A. C</creatorcontrib><creatorcontrib>Melo, Thamiles R</creatorcontrib><creatorcontrib>Campos, Ikaro G. S. A</creatorcontrib><creatorcontrib>Aragão, Matheus B</creatorcontrib><creatorcontrib>Ribeiro, Alexandre S</creatorcontrib><creatorcontrib>Silva, Lucas C</creatorcontrib><creatorcontrib>da Silva, Valéria L</creatorcontrib><creatorcontrib>Lima, Antonio M. N</creatorcontrib><creatorcontrib>Santos, Alex A. B</creatorcontrib><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>DOAJ Directory of Open Access Journals</collection><jtitle>Energies (Basel)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Lisboa, Luciano A. C</au><au>Melo, Thamiles R</au><au>Campos, Ikaro G. S. A</au><au>Aragão, Matheus B</au><au>Ribeiro, Alexandre S</au><au>Silva, Lucas C</au><au>da Silva, Valéria L</au><au>Lima, Antonio M. N</au><au>Santos, Alex A. B</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The Development of a Malleable Model for Critical System Supervision Integration</atitle><jtitle>Energies (Basel)</jtitle><date>2024-08-01</date><risdate>2024</risdate><volume>17</volume><issue>16</issue><spage>4094</spage><pages>4094-</pages><issn>1996-1073</issn><eissn>1996-1073</eissn><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.</abstract><cop>Basel</cop><pub>MDPI AG</pub><doi>10.3390/en17164094</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 1996-1073
ispartof Energies (Basel), 2024-08, Vol.17 (16), p.4094
issn 1996-1073
1996-1073
language eng
recordid cdi_doaj_primary_oai_doaj_org_article_e21f65c2bec14f059350b240b6acd653
source Publicly Available Content Database
subjects Analysis
Automation
automation system
critical systems
Energy
Failure
Fault location (Engineering)
integration
malleable model
Markov analysis
Methods
Power
reliability
Reliability (Engineering)
Software
Supervision
title The Development of a Malleable Model for Critical System Supervision Integration
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T22%3A52%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-gale_doaj_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20Development%20of%20a%20Malleable%20Model%20for%20Critical%20System%20Supervision%20Integration&rft.jtitle=Energies%20(Basel)&rft.au=Lisboa,%20Luciano%20A.%20C&rft.date=2024-08-01&rft.volume=17&rft.issue=16&rft.spage=4094&rft.pages=4094-&rft.issn=1996-1073&rft.eissn=1996-1073&rft_id=info:doi/10.3390/en17164094&rft_dat=%3Cgale_doaj_%3EA807425068%3C/gale_doaj_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-d254t-25c84981f8fdbfca66e7c51b429b11a081772ef4cdcd616193d390faf7eef9c83%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=3097936628&rft_id=info:pmid/&rft_galeid=A807425068&rfr_iscdi=true