References
- N.G. Leveson, SAFEWARE, System safety and Computers, Addison Wesley, 1995
- H.G. Kang, et al., “An Overview of Risk Quantification Issues of Digitalized Nuclear Power Plants using Static Fault Tree,” Nuclear Engineering and Technology, Vol.41, 2009
- D.A. Peled, SOFTWARE RELIABILITY METHODS, Springer, 2001
- J. Yoo, T. Kim, S. Cha, J.S. Lee, and H.S. Son, “A formal software requirements specification method for digital nuclear plants protection systems,” Journal of Systems and Software, 74, 1, pp.73–83, 2005 https://doi.org/10.1016/j.jss.2003.10.018
- NEA/CSNI/R(97)23, Operating and maintenance experience with computer- based systems in nuclear power plants, 1998
- Kang, H.G and Sung, T, “An analysis of safety-critical digital systems for risk-informed design,” Reliability Engineering and Systems Safety, Vol. 78, No. 3, 2002 https://doi.org/10.1016/S0951-8320(02)00176-X
- White, R.M and Boettcher, D.B, “Putting Sizewell B digital protection in context,” Nuclear Engineering International, pp. 41-43, 1994
- B. Li, M. Li, S. Ghose, and C. Smidts, “Integrating software into PRA,” Proceedings of the 14th International Symposium on Software Reliability Engineering, IEEE Computer Society Press, 2003 https://doi.org/10.1109/ISSRE.2003.1251066
- C.A. Asad, M.I. Ullah, M.J. Rehman, "An approach for software reliability model selection," Proceedings of the 28th Annual International Computer Software and Applications Conference (COMSAC'04), IEEE, 2004 https://doi.org/10.1109/CMPSAC.2004.1342891
- M. R. Lyu, HANDBOOK OF SOFTWARE RELIABILITY, IEEE Computer Society Press and McGraw-Hill, 1996
- A. Wood, “Software Reliability Growth Models: Assumptions vs. Reality,” Proceedings of the International Symposium on Software Reliability Engineering, 23, 11, pp. 136-141, 1997 https://doi.org/10.1109/ISSRE.1997.630858
- P.H. Seong, et al., RELIABILITY AND RISK ISSUES IN LARGE SCALE SAFETY-CRITICAL DIGITAL CONTROL SYSTEMS, Springer-Verlag, 2008
- J. Musa, A. Ackerman, “Quantifying Software Validation: When to Stop Testing,” IEEE Software, May, pp. 19-27, 1989 https://doi.org/10.1109/52.28120
- D.R. Prince Williams, “Prediction Capability Analysis of Two and Three Parameters Software Reliability Growth Models,” Information Technology Journal, 5, 6, pp. 1048-1052, 2006 https://doi.org/10.3923/itj.2006.1048.1052
- J.D. Musa, A. Iannino, and K. Okumoto, SOFTWARE RELIABILITY, Measurement, Prediction, Application, McGraw-Hill, 1987
- C. Huang, C. Lin, S. Kuo, M.R. Lyu, and C. Sue, “Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags,” Proceedings of The 28th Annual International Computer Software and Application Conference(COMSAC'04), IEEE, 2004 https://doi.org/10.1109/CMPSAC.2004.1342826
- J. Sall, A. Lehman, “JMP Start Statistics,” SAS Institute, Duxbury Press
Cited by
- Software Failure Probability Assessment by Bayesian Inference vol.183, pp.1, 2013, https://doi.org/10.13182/NT13-A16996