1 |
W.C. Lipinski, Nuclear Power Plant Instrumentation and ControldA Guidebook, International Atomic Energy Agency, Vienna, Austria, 1984.
|
2 |
N.G. Leveson, J.L. Stolzy, Safety analysis using Petri nets, IEEE Trans. Softw. Eng. 3 (1987) 386-397.
|
3 |
P. Kumar, L.K. Singh, C. Kumar, Suitability analysis of software reliability models for its applicability on NPP systems, Qual. Reliab. Eng. Int. 34 (8) (2018) 1491-1509.
DOI
|
4 |
Heiko Koziolek, Performance evaluation of component-based software systems: a survey, Perform. Eval 67 (8) (2010) 634-658.
DOI
|
5 |
S.S. Gokhale, K. S Trivedi, Reliability prediction and sensitivity analysis based on software architecture, in: 13th IEEE International Symposium on Software Reliability Engineering, 2002, pp. 64-75.
|
6 |
L.K. Singh, G. Vinod, A.K. Tripathi, Design verification of instrumentation and control systems of NPP, IEEE Trans. Nucl. Sci. 61 (2014) 921-930.
DOI
|
7 |
L.K. Singh, G. Vinod, A.K. Tripathi, Modeling and prediction of performability of safety critical computer based systems using Petri nets, in: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, Dallas, TX, 2012, pp. 85-94.
|
8 |
K. Goseva- Popstojanova, K.S. Trivedi, Failure correlation in software reliability models, IEEE Trans. Reliab. 49 (1) (2000) 37-48.
DOI
|
9 |
R.A. Sahner, K.S. Trivedi, A. Puliafito, Performance and Reliability Analysis of Computer Systems: an Example-Based Approach Using the SHARPE Software Package, Springer Science & Business Media, 2012.
|
10 |
Z. Liu, Y. Liu, B. Cai, X. Li, X. Tian, Application of Petri nets to performance evaluation of subsea blowout preventer system, ISA Trans. 54 (2015) 240-249.
DOI
|
11 |
V.S. Sharma, K.S. Trivedi, Quantifying software performance, reliability and security: an architecture-based approach, J. Syst. Softw. 80 (2007) 493-509.
DOI
|
12 |
C. Lijie, T. Tao, Z. Xianqiong, E. Schnieder, Verification of the safety communication protocol in train control system using colored Petri net, Reliab. Eng. Syst. Saf. 100 (2012) 8-18.
DOI
|
13 |
M. Modarres, M.P. Kaminskiy, V. Krivtsov, Reliability Engineering and Risk Analysis: a Practical Guide, CRC press, 2016.
|
14 |
Nuclear Power Plant Simulators for Use in Operator Training, U.S. Nuclear Regulatory Commission, 1981.
|
15 |
Modern Instrumentation and Control for Nuclear Power Plants: a Guidebook, International Atomic Energy Agency, 1999.
|
16 |
W.L. Wang, D. Pan, M.H. Chen, Architecture-based software reliability modeling, J. Syst. Softw. 79 (2006) 132-146.
DOI
|
17 |
L. Cheung, R. Roshandel, N. Medvidovic, L. Golubchik, Early prediction of software component reliability, in: IEEE 30th International Conference on Software Engineering, 2008, pp. 111-120.
|
18 |
J. Merseguer, J. Campos, S. Bernardi, S. Donatelli, A compositional semantics for UML state machines aimed at performance evaluation, in: 6th IEEE International Workshop on Discrete Event Systems, 2002, pp. 295-302.
|
19 |
T. Murata, Petri nets: properties analysis and applications, Proc. IEEE 77 (1989) 541-580.
DOI
|
20 |
P. Kumar, L.K. Singh, C. Kumar, An optimized technique for reliability analysis of safety-critical systems: a case study of nuclear power plant, Qual. Reliab. Eng. Int. 35 (2019) 461-469.
DOI
|
21 |
L. Bernardinello, G. De Michelis, K. Petruni, S. Bigna, On the synchronic structure of transition systems, in: Structures in Concurrency Theory, Springer, London, 1995, pp. 69-84.
|
22 |
C.V. Ramamoorthy, G.S. Ho, Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE Trans. Softw. Eng. 5 (1980) 440-449.
DOI
|
23 |
L.K. Singh, H. Rajput, Dependability analysis of safety critical real-time systems by using Petri nets, IEEE Trans. Control Syst. Technol. 26 (2017) 415-426.
DOI
|
24 |
T.L. Chu, G. Martinez-Guridi, M. Yue, P. Samanta, G. Vinod, J. Lehner, Workshop on Philosophical Basis for Incorporating Software Failures into a Probabilistic Risk Assessment, Technical Report, BNL-90571-2009-IR, Brookhaven National Laboratory, 2009.
|