Generalisation of availability models for resilient systems with online verification

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

Full description

Saved in:
Bibliographic Details
Main Authors: Vyacheslav Kharchenko, Yuriy Ponochovnyi, Oleksandr Ivasiuk, Oleg Illiashenko, Olena Ponochovna
Format: Article
Language:English
Published: Polish Academy of Sciences 2025-07-01
Series:International Journal of Electronics and Telecommunications
Subjects:
instrumentation and control systems
online verification
small modular reactors
dependability
resilience
markov models
Online Access:https://journals.pan.pl/Content/135738/10-4986-Kharchenko_sk.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items