Journal of Korea Multimedia Society (한국멀티미디어학회논문지)

Korea Multimedia Society (한국멀티미디어학회)
권호 표지
DOI QR코드

DOI QR Code

A Study on the Software Fault Modes and Effect Analysis for Software Safety Evaluation

소프트웨어 안전성 평가를 위한 소프트웨어 고장 유형과 영향 분석에 관한 연구

  • 김명희 (부경대학교 교육대학원 전자계산교육전공) ;
  • 박만곤 (부경대학교 IT융합응용공학과)
  • Received : 2011.11.02
  • Accepted : 2011.12.28
  • Published : 2012.01.31
Download PDF
⟨ Previous Next ⟩

Abstract

These days, most of safety-critical systems, which are systems those failures or malfunction may result in death or serious injury to people, or loss or severe damage to social systems, or environmental harm, are being built of embedded software or loaded controlling software systems on computers, electrical and electronic components or devices. There are a lot kind of fault analysis methods to evaluate safety of the safety-critical systems equipped computers, electrical and electronic components or devices with software. However, the only assessment method to evaluate software safety of a safety-critical system is not enough to analysis properly on account of the various types and characteristic of software systems by progress of information technology. Therefore, this paper proposes the integrated evaluation method and carries out a case study for the software safety of safety-critical system which embedded or loaded software sizes are small and control response times are not sensitive by use of two security analysis methods which are Fault Tree Analysis (FTA) and Fault Modes and Effect Analysis (FMEA) for ubiquitous healthcare system.

오늘날 대다수의 안전필수 시스템들(Safety-Critical Systems)에는 컴퓨터, 전기 및 전자 부품이나 장치들에 소프트웨어를 칩에 내장하거나 제어용 소프트웨어 시스템이 탑재되어 구축되고 있다. 이에 따라, 컴퓨터 소프트웨어를 내장하였거나 탑재한 시스템들의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 제안되어져 오고 있다. 이러한 소프트웨어 결함 분석 기법들은 전통적으로는 하나의 안전필수 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 그 시스템에 가장 알맞은 결함 분석 기법이 동원되어야 함은 필수적이다. 본 연구에서는, 안전필수 시스템에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템 제어 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함트리 분석(FTA)과 소프트웨어 고장 유형 및 영향 분석(FMEA)을 결합한 시스템 결함 분석 방법을 제안하고 유비쿼터스 헬스케어 시스템을 이용하여 사례연구를 수행하고자 한다.

Keywords

References

  1. Harold W. Lawson, "An Assessment Methodology for Safety Critical Computer Based Systems," Proceedings of CSR 12th Annual Workshop on Safety and Reliability of Software Based Systems, pp. 183-200, 1995.
  2. Maier T., "FMEA and FTA to Support Safety Design of Embedded Software in Safety- Critical Systems," Proceedings of CSR 12th Annual Workshop on Safety and Reliability of Software Based Systems, pp. 351-367, 1997.
  3. Peter L. Goddard, "A Combines Analysis Approach To Assessing Requirements for Safety Critical Real-Time Control Systems," Proceeding Annual Reliability & Maintainability Symposium, pp. 227-230, 1993.
  4. Swarup, M. Ben and P. Seetha Ramaiah, "A Software Safety Model for Safety Critical Application," Proceedings of International Forum on Computer Science-Technology and Applications, pp. 21-32, 2009.
  5. Nancy G. Leveson, SAFEWARE: System Safety and Computers, Addison-Wesley Publishing Company Inc, 1995.
  6. James Catmur, Morris Chudleigh, and Felix Redmill, "Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared," Proceedings of CSR 12th Annual Workshop on Safety and Reliability of Software Based Systems, pp. 368-377, 1995.
  7. Knight, John C. and Luis G. Nakano, Software Test Techniques for System Fault-Tree Analysis, Press of University of York, UK, 1997.
  8. Stephen S. Cha, Nancy G. Leveson, and Timothy J. Shimeall, "Safety Verification in MURPHY using Fault Tree Analysis," Proceeding on the 10th International Conference on Software Engineering, pp. 377-386, 1988.
  9. Yang H., Wang H.X., Han R.F., and Li Juan, "Application of Fault Tree in Software Safety Analysis," Proceedings of International Forum on Computer Science-Technology and Applications, pp. 207-208, 2009.
  10. Younju Oh, Junbeom Yoo, Sungdeok Cha, and Han Seong Son, "Software Safety Analysis of Function Block Diagram using Fault Trees," Reliability Engineering and System Safety, Vol.88(3), pp. 215-228, 2005. https://doi.org/10.1016/j.ress.2004.07.019
  11. Hye-Jung Jung, "The Analysis of Software Fault and Application Method of Weight using the Testing Data," Journal of Korea Multimedia Society, Vol.14, No.6, pp. 766-774, 2011. https://doi.org/10.9717/kmms.2011.14.6.766
  12. Rogerio De Lemos, Amer Saeed, and Tom Anderson, "Analyzing Safety Requirements for Process Control Systems," IEEE Software, Vol.12, No.3, pp. 42-53, 1995.
  13. Wilson, S.P., T.P. Kelly, and J.A. McDermid, "Safety Case Development: Current Practice, Future Prospects," Proceedings of CSR 12th Annual Workshop on Safety and Reliability of Software Based Systems, pp. 351-367, 1997.
  14. MIL-STD 1629, "Procedures for Performing a Failure Mode and Effect Analysis," 1980.
  15. IEC 60812, "Procedures for Failure Mode and Effect Analysis (FMEA)," 2006.
  16. BS 5760-5, "Guide to Failure Modes, Effects and Criticality Analysis (FMEA and FMECA)," 1991.
  17. SAE ARP 5580, "Recommended Failure Modes and Effects Analysis (FMEA) Practices for Non-Automobile Applications," 2001.
  18. SAE J1739, "Potential Failure Mode and Effects Analysis in Design (Design FMEA) and Potential Failure Mode and Effects Analysis in Manufacturing and Assembly Processes Process FMEA) and Effects Analysis for Machinery (Machinery FMEA)," 2002.
  19. SEMATECH, "Failure Modes and Effects Analysis (FMEA): A Guide for Continuous Improvement for the Semiconductor Equipment Industry," 1992.
  20. N. Snooke and C. Price, "Model-driven automated software FMEA," Proceedings of Reliability and Maintainability Symposium, pp. 1-6, 2011.
  21. Rodrigo de Queiroz Souza and Alberto Jose Alvares, "FMEA and FTA Analysis for Application of the Reliability Centered Maintenance Methodology: Case Study on Hydraulic Turbines," ABCM Symposium Series in Mechatronic, Vol.3, pp. 803-812, 2008.
  22. Lian-yu Zheng, Kwai-sang Chin, and Li Wei, "Knowledge-Enriched Process FMEA Model for Process Planning," The Asian Journal on Quality, Vol.3, No.1, pp. 12-27, 2002. https://doi.org/10.1108/15982688200200002
  23. Peter L. Goddard, "Validating The Safety of Embedded Real-Time Control Systems using FMEA," Proceedings Annual Reliability and Maintainability Symposium, pp.227-230, 1993.
  24. Yang, W.S., S.H. Lee, G.M. Lee, W.J. Kim, and S.J. Yoon, "Design of Ubiquitous Healthcare Service Development Framework for Establishment of Ubiquitous Hospitals," Proceedings of KFIS Autumn Conference, Vol.16, No.2, pp. 57-60, 2006.
  25. Alberico, D., J. Bozarth, M. Brown, J. Gill, S. Mattern, and A. McKinlay, Software System Safety Handbook, Joint Services Software Safety Committee of the Joint Services System Safety Panel and the Electronic Industries Association, G-48 Committee, USA, 1999.
  26. Mark D. Hansen and Ronald L. Watts, "Software System Safety and Reliability," Proceedings Annual Reliability and Maintainability Symposium, pp. 214-217, 1988.
  27. Nancy G. Leveson and Peter R. Harvey, "Analyzing Software Safety," IEEE Transactions on Software Engineering, Vol.SE-9, No.5, pp. 569-579, 1983. https://doi.org/10.1109/TSE.1983.235116
  28. Nancy G. Leveson, "Software Safety: Why, What, and How," ACM Computing Surveys, Vol.18, No.2, pp. 125-163, 1986. https://doi.org/10.1145/7474.7528
  29. Samuel J. Keene, "Assuring Software Safety," Proceedings Annual Reliability and Maintainability Symposium, pp. 274-279, 1992.
  30. Stephen S. Cha, "Management Aspect of Software Safety," Proceeding on International Conference on Computer Assurance, pp. 35- 40, 1993.
  31. u-Policy Information Development Team, "Ubiquitous Society, New Hopes and Challenges," National Information Society Association, pp. 225-240, 2006.
  32. Zhang Hong and Liu Binbin, "Integrated Analysis of Software FMEA and FTA," Proceedings of International Conference on Information Technology and Computer Science, pp. 184-187, 2009.
  33. Tariq Mahmood and Man-Gon Park, "Software Performance Assessment Using Goal- Question-Metrics Approach," Journal of Korea Multimedia Society, Vol.11, No.6, pp. 891-902, 2008.
  34. Peter L. Goddard and R. Davis, "Automated FMEA Techniques," Final Technical Report, RADC-TR-84-244, AD-154161, 1984.

Cited by

  1. A Study on the Fault Analysis and Security Assessment for Smart Card Management System vol.17, pp.1, 2014, https://doi.org/10.9717/kmms.2014.17.1.052
  2. A Study on the Secure Coding for Security Improvement of Delphi XE2 DataSnap Server vol.17, pp.6, 2014, https://doi.org/10.9717/kmms.2014.17.6.706
  3. Fault Tree Analysis and Fault Modes and Effect Analysis for Security Evaluation of IC Card Payment Systems vol.16, pp.1, 2013, https://doi.org/10.9717/kmms.2013.16.1.087
  4. An Integrative Method of Fault Tree Analysis and Fault Modes and Effect Analysis for Security Evaluation of e-Teaching and Learning System vol.2, pp.1, 2013, https://doi.org/10.3745/KTSDE.2013.2.1.007
  5. A Study on the Methods of Fault Analysis to Improve Safety in U-Healthcare System for Managing Emergency Rescue for Seniors vol.17, pp.2, 2014, https://doi.org/10.9717/kmms.2014.17.2.170
  6. 항해장비 소프트웨어 기능안전성 확보를 위한 위험분석 단계 연구 vol.18, pp.2, 2012, https://doi.org/10.9728/dcs.2017.18.2.393
  7. 자동차 안전성을 위한 소프트웨어 FMEA 가이드라인 vol.21, pp.9, 2012, https://doi.org/10.9717/kmms.2018.21.9.1099