[Figure 1] Verification and validation V model for software critical safety FPGA-based system
[Figure 2] FPGA design, development and V&V processes
[Figure 3] Selection during life cycle phase [15]
참고문헌
- C. A. Asad, M. I. Ullah, M. J. Rehman "An Approach for Software Reliability Model Selection," in Proc. 28th Annual International Computer Software and Applications Conference (COMPSAC'04), Hong Kong, 2004
- Ajeet Kumar Pandey & N. K. Goyal, "A Fuzzy Model for Early Software Fault Prediction Using Process Maturity and Software Metrics", International Journal of Electronics Engineering, 1(2), 2009, pp. 239-245
- J. D. Musa and K. Okumoto, "A Logarithmic Poisson Execution Time Model for Software Reliability Measurement", Bell Laboratories, Whippany, N. J. 07981
- Xiaolin Teng and Hoang Pham, "A New Methodology for Predicting Software Reliability in the Random Field Environments, IEEE Transactions On Reliability, Vol. 55, No. 3, September 2006
- BAI Cheng-Gang, Jiang Chang-Hai, & CAI Kai Yuan, "A Reliability Improvement Predictive Approach to Software Testing with Bayesian Method", Proceedings of the 29th Chinese Control Conference, July 29-31, 2010, Beijing, China
- Xiaolin Teng, & Hoang Pham, "A Software Reliability Growth Model for N-Version Programming Systems", IEEE Transactions on Reliability, Vol. 51, No. 3, September 2002
- Chin-Yu Huang, Michael R. Lyu & Sy Yen Kuo, "A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation," IEEE Transactions on Software Engineering, Vol. 29, No. 3, Page 261-270, March 2003 https://doi.org/10.1109/TSE.2003.1183936
- Roger C. Cheung, "A User-Oriented Software Reliability Model", IEEE Transactions on Software Engineering, Vol. Se-6, No. 2, Page 118-126, March 1980 https://doi.org/10.1109/TSE.1980.234477
- Hoang Pham, "An Imperfect-debugging Fault-detection Dependent-parameter Software, International Journal of Automation and Computing, 04(4), October 2007, 325-328, https://doi.org/10.1007/s11633-007-0325-8
- IEEE, "IEEE Recommended Practice on Software Reliability," IEEE Std 1633, 2008.
- IEEE, "IEEE Standard for System and Software Verification and Validation" IEEE Std 1012, 2016
- IAEA, "Application of Field Programmable Gate Arrays in Instrumentation and Control Systems of Nuclear Power Plants," International Atomic Energy Agency, Vienna, IAEA Nuclear Energy Series No. NP-T-3.17, 2016
- CSIAC Handbook of Software Reliability and Security Testing, 2014
- A. Iannino, J. D. Musa, & K. Okumoto, "Criteria for software reliability model comparisons," ACM SIGSOFT Software Engineering Notes, Vol. 8, No. 3 (July 1983), pp. 12-16. https://doi.org/10.1145/1010891.1010893
- US ARMY, Technical Report, NO. TR-2011-24, Materiel Systems Analysis Activity, Aberdeen Proving Ground, Maryland 21005-5071, August 2011.