Quality and Reliability Engineering International · 2018 · 29 citations · 7 references
EngineeringNuclear EngineeringSystems EngineeringSafety EngineeringStochastic ModelingStochastic ProcessesMarkov ChainsMarkov ProcessesReliability ModelingReliable System DesignSafety-critical SystemsStochastic Systems ModelingNuclear Power StationsProbabilistic Reliability AnalysisProbabilistic Safety AnalysisSafety-critical System ModelingSafety-critical Systems AnalysisSystem ReliabilitySystem Reliability AssessmentSystem Reliability Modeling
Abstract Stochastic models are extensively used in quantifying the reliability of safety critical systems. These models use the state‐space model for reliability quantification. Markov chain is comprehensively used in describing a sequence of possible events of any system in which the probability of each event depends only on the state attained in the previous event. Markov chains are convenient to model the software system of the SCS with the help of Petri Nets, a directed bipartite graph widely used for the verification and validation of real‐time systems. However, the stochastic model suffers from the state‐space explosion problem. In this paper, we proposed a technique for reliability analysis of safety critical systems, excavating into the coherent optimization of Markov chain. The approach has been validated on 17 safety critical systems of nuclear power plants.
7
Safety Analysis of Safety-Critical Systems Using State-Space Models
Vinay Kumar, Lalit Kumar Singh, Anil Kumar Tripathi et al. · IEEE Software · 2017 · 25 citations