Generalisation of availability models for resilient systems with online verification

This paper analyses online verification methods for safety- and security-critical systems, including aerospace, nuclear instrumentation, and smart home systems. It emphasizes the need for resilience and adaptability in these systems to withstand various environmental conditions and potential threats...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International Journal of Electronics and Telecommunications Ročník 71; číslo 3; s. 1 - 7
Hlavní autoři: Kharchenko, Vyacheslav, Ponochovnyi, Yuriy, Ivasiuk, Oleksandr, Illiashenko, Oleg, Ponochovna, Olena
Médium: Journal Article
Jazyk:angličtina
Vydáno: Warsaw Polish Academy of Sciences 01.07.2025
Témata:
Control systems
dependability
instrumentation and control systems
Markov chains
markov models
Modular systems
Nuclear power plants
Nuclear safety
online verification
Performance evaluation
Resilience
small modular reactors
Smart buildings
Smart houses
Software
Verification
ISSN:2081-8491, 2300-1933
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This paper analyses online verification methods for safety- and security-critical systems, including aerospace, nuclear instrumentation, and smart home systems. It emphasizes the need for resilience and adaptability in these systems to withstand various environmental conditions and potential threats. Several Markov models are developed to evaluate the dependability of control systems for small modular reactors. These models illustrate how online verification, by enabling early detection of failures, can enhance resilience and improve system performance. The findings suggest that optimising verification parameters is crucial for this enhancement, providing a foundation for future research in critical control systems.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2081-8491
2300-1933
DOI:10.24425/ijet.2025.153618