Reliability and Safety Modeling of a Digital Feed Water Control System
Shawkat S. Khairullah, Ahmed A. Mostfa

TL;DR
This paper develops a Markov chain model to analyze the safety and reliability of a digital feedwater control system, demonstrating it meets a 0.99 operational probability over six months.
Contribution
It introduces a Markov-based modeling approach for safety and reliability analysis of digital control systems, tailored to a feedwater control context.
Findings
System reliability probability is 0.99 over six months.
Markov model accurately captures system states and transitions.
Model confirms system meets reliability requirements.
Abstract
Much digital instrumentation and control systems embedded in the critical medical healthcare equipment aerospace devices and nuclear industry have obvious consequence of different failure modes. These failures can affect the behavior of the overall safety critical digital system and its ability to deliver its dependability attributes if any defected area that could be a hardware component or software code embedded inside the digital system is not detected and repaired appropriately. The safety and reliability analysis of safety critical systems can be accomplished with Markov modeling techniques which could express the dynamic and regenerative behavior of the digital control system. Certain states in the system represent system failure while others represent fault free behavior or correct operation in the presence of faults. This paper presents the development of a safety and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuality and Safety in Healthcare · Software Reliability and Analysis Research · Safety Systems Engineering in Autonomy
