시스템엔지니어링학술지 (Journal of the Korean Society of Systems Engineering)

  • 제14권2호
  • /
  • Pages.49-57
  • /
  • 2018
  • /
  • 1738-480X(pISSN)
  • /
  • 2288-3592(eISSN)
한국시스템엔지니어링학회 (The Korean Society of Systems Engineering)
권호 표지
DOI QR코드

DOI QR Code

Software Reliability of Safety Critical FPGA-based System using System Engineering Approach

  • Pradana, Satrio (Department of Nuclear Power Plant Engineering, KEPCO International Nuclear Graduate School) ;
  • Jung, Jae Cheon (Department of Nuclear Power Plant Engineering, KEPCO International Nuclear Graduate School)
  • 투고 : 2018.11.09
  • 심사 : 2019.01.07
  • 발행 : 2018.12.31
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

키워드

HSSTBN_2018_v14n2_49_f0001.png 이미지

[Figure 1] Verification and validation V model for software critical safety FPGA-based system

HSSTBN_2018_v14n2_49_f0003.png 이미지

[Figure 2] FPGA design, development and V&V processes

HSSTBN_2018_v14n2_49_f0004.png 이미지

[Figure 3] Selection during life cycle phase [15]

참고문헌

  1. 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
  2. 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
  3. J. D. Musa and K. Okumoto, "A Logarithmic Poisson Execution Time Model for Software Reliability Measurement", Bell Laboratories, Whippany, N. J. 07981
  4. 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
  5. 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
  6. Xiaolin Teng, & Hoang Pham, "A Software Reliability Growth Model for N-Version Programming Systems", IEEE Transactions on Reliability, Vol. 51, No. 3, September 2002
  7. 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
  8. 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
  9. 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
  10. IEEE, "IEEE Recommended Practice on Software Reliability," IEEE Std 1633, 2008.
  11. IEEE, "IEEE Standard for System and Software Verification and Validation" IEEE Std 1012, 2016
  12. 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
  13. CSIAC Handbook of Software Reliability and Security Testing, 2014
  14. 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
  15. US ARMY, Technical Report, NO. TR-2011-24, Materiel Systems Analysis Activity, Aberdeen Proving Ground, Maryland 21005-5071, August 2011.