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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Journal of Electronics and Telecommunications Jg. 71; H. 3; S. 1 - 7
Hauptverfasser:	Kharchenko, Vyacheslav, Ponochovnyi, Yuriy, Ivasiuk, Oleksandr, Illiashenko, Oleg, Ponochovna, Olena
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Warsaw Polish Academy of Sciences 01.07.2025
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!