Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

우주발사체 탑재 소프트웨어 신뢰성보증 프로그램과 신뢰도 모델링

  • Published : 2015.12.15
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. 신명호, "KSLV-I Avionics 시스템에 적용된 소프트웨어 구성과 신뢰성," 한국정보과학회 고신뢰컴퓨팅 하계워크삽 자료집, pp. 86 - 109, 2013. 8.
  2. 신명호, 조상연, 고정환 "한국형발사체 개발사업의 신뢰성보증 계획," 대한기계학회 2014년도 추계학술대회 KSME14F-We04C-4, pp. 497-502, 2014. 11.
  3. 한국항공우주연구원, L2-PN-00005, 한국형 발시체신뢰성보증계획, Rev.B, 2014. 4. 29.
  4. AMSAA TR-652, AMSAA Reliability Growth Guide, 2000.
  5. L. H. Crow, "Reliability Analysis for Complex, Repairable Systems in Reliability and Biometry," SlAM, ed. by Proschan and R. J. Serfling, Philadelphia, Pennsylvania, pp. 379 - 410, 1974.
  6. J. T. Duane "Learning Curve Approach To Reliability Monitoring," IEEE Transactions on Aerospace, Vol. 2, pp. 563 - 566, 1964. https://doi.org/10.1109/TA.1964.4319640
  7. A. Fries and A. Sen, "A Survey of Discrete Reliability Growth Models," IEEE Transactions on Reliability, Vol. 4, No. 4, pp. 582 - 604, 1996.
  8. Michael S. Hamada, Alyson G. Wilson, C. Shane Reese, and Harry F. Martz, Bayesian Reliability, Springer, 2008.
  9. Boris Gnedenko, Igor Pavlov, and Igor Ushakov, Statistical Reliability Engineering, John Wiley & Sons, 1999.
  10. J. L. Lions et al., ARIANE 5 Flight 501 Failure Report, Independent Inquiry Board, ESA, 1996.
  11. Michael R. Lyu, Handbook of Software Reliability Engineering, IEEE Computer Society Press, McGraw-Hill, 1996.
  12. MlL-HDBK-189, Reliability Growth Management, 1981.
  13. Hany F. Martz and Ray A. Waller, Bayesian Reliability Analysis, John Wiley & Sons, 1982.
  14. John D. Musa, Anthony Iannino, Kazuhira Okumoto, Software Reliability: Measurement, Prediction, Application, McGraw-Hill, 1987.
  15. In Jae Myoung, "Tutorial on Maximum Likelihood Estimation," Journal of Mathematical Psychology, Vol. 47, pp. 90 - 100, 2003. https://doi.org/10.1016/S0022-2496(02)00028-7
  16. Ann Marie Neufelder, Ensuring Software Reliability, Marcel Decker Inc., 1993.
  17. ReliaSoft, Reliability Growth and Repairable System Analysis Reference, 2014.
  18. Min Xie, Yuan-Shun Dai, Kim-Leng Poh, Computing System Reliability: Models and analysis, Kluwer Academic Publishers, 2004.
  19. S. Yamada and S. Osaki, "Software Reliability Growth Modeling: Models and applications," IEEE Transactions on Software Engineering, Vol. SE-11, No. 12, pp. 1431 - 1437, 1985. https://doi.org/10.1109/TSE.1985.232179