Security Analysis of Safety Critical and Control Systems: A Case Study of a Nuclear Power Plant System

Reliability of safety‐critical systems: A state‐of‐the‐art review

“…Volovoi, 26 Mihalache et al, 33 Chew et al, 40 Ramos et al, 46 Kleyner and Volovoi, 47 Liu et al, 50 Singh and Rajput, 54 Singh et al, 56 Kaur et al 59 and Wu and Schnieder 62 used PN for reliability analysis of SCS. Markov chain models are also popularly used in system modelling to analyse reliability.…”

“…The DFWCS controls the water level up to marked range. Singh and Rajput, 71 Kumar et al, 57,70 Singh and Rajput 54 and Kaur et al 59 applied modelling techniques on NPP for system safety. Moreover, the important reliability and dependability factors such as liveness, deadlock and boundedness are exquisitely discussed in some of the literature 71,72 …”

“…Yacoub et al 28 30 Tu et al 53 6 Bearfield et al 29 31 Singh and Rajput 54 7 Huang et al 30 32 Jia et al 55 8 Dutuit and Rauzy 32 33 Singh et al 56 9 Chang et al 31 34 Yu and Jie 63 10 Mihalache et al 33 35 Kumar et al 57 11 Wende et al 34 36 Vicenzutti et al 58 12 Shalev and Tiran 35 37 Kaur et al 59 13 Chen et al 36 38 Chi et al 60 14 Kumar and Misra 37 39 Wang et al 61 15 Guo and Yang 38 40 Wu and Schnieder 62 16 Bucci et al 39 17 Chew et al 40 18 Aljazzar et al 41 19 Volkanovski et al 42 20 Kumar and Jackson 43 21 Cai et al 44 22 Tuan et al 45 23 Ramos et al 46 24 Kleyner and Volovoi …”