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

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 안전필수 시스템의 결함 분석 기법들
• 3. FTA와 소프트웨어 FMEA를 결합한 결함분석 사례
• 4. 결론
• 참고문헌

참고문헌 (Reference)

1 정혜정, "시험데이터를 이용한 소프트웨어 결함분석과 가중치 적용 방안" 한국멀티미디어학회 14 (14): 766-774, 2011

2 Peter L. Goddard, "Validating The Safety of Embedded Real-Time Control Systems using FMEA" 1993

3 James Catmur, "Use of Hazard Analysis Techniques During the Product Life Cycle : HAZOP and FMEA Compared" 368-377, 1995

4 u-Policy Information Development Team, "Ubiquitous Society, New Hopes and Challenges" National Information Society Association 225-240, 2006

5 차성덕, "Software safety analysis of function block diagrams using fault trees" 88 : 215-228, 200506

6 Knight, John C., "Software Test Techniques for System Fault-Tree Analysis" Press of University of York 1997

7 Mark D. Hansen, "Software System Safety and Reliability" 214-217, 1988

8 Alberico, D., "Software System Safety Handbook"

9 Nancy G. Leveson, "Software Safety : Why, What, and How" 18 (18): 125-163, 1986

10 Tariq Mahmood, "Software Performance Assessment Using Goal-Question-Metric Approach" 한국멀티미디어학회 11 (11): 891-902, 2008

11 Stephen S. Cha, "Safety Verification in MURPHY using Fault Tree Analysis" 377-386, 1988

12 Wilson, S. P., "Safety Case Development : Current Practice, Future Prospects" 351-367, 1997

13 Nancy G. Leveson, "SAFEWARE: System Safety and Computers" Addison-Wesley Publishing Company Inc 1995

14 "Recommended Failure Modes and Effects Analysis (FMEA) Practices for Non-Automobile Applications"

15 "Procedures for Performing a Failure Mode and Effect Analysis"

16 "Procedures for Failure Mode and Effect Analysis (FMEA)"

17 "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)"

18 N. Snooke, "Model-driven automated software FMEA" 1-6, 2011

19 Stephen S. Cha, "Management Aspect of Software Safety" 35-40, 1993

20 Lian-yu Zheng, "Knowledge-Enriched Process FMEA Model for Process Planning" 3 (3): 12-27, 2002

21 Zhang Hong, "Integrated Analysis of Software FMEA and FTA" 184-187, 2009

22 "Guide to Failure Modes, Effects and Criticality Analysis (FMEA and FMECA)"

23 SEMATECH, "Failure Modes and Effects Analysis (FMEA): A Guide for Continuous Improvement for the Semiconductor Equipment Industry" 1992

24 Maier T., "FMEA and FTA to Support Safety Design of Embedded Software in Safety-Critical Systems" 351-367, 1997

25 Rodrigo de Queiroz Souza, "FMEA and FTA Analysis for Application of the Reliability Centered Maintenance Methodology : Case Study on Hydraulic Turbines" 3 : 803-812, 2008

26 Yang, W. S., "Design of Ubiquitous Healthcare Service Development Framework for Establishment of Ubiquitous Hospitals" 16 (16): 57-60, 2006

27 Peter L. Goddard, "Automated FMEA Techniques" RADC 1984

28 Samuel J. Keene, "Assuring Software Safety" 274-279, 1992

29 Yang H., "Application of Fault Tree in Software Safety Analysis" 207-208, 2009

30 Nancy G. Leveson, "Analyzing Software Safety" 9 (9): 569-579, 1983

31 Rogerio De Lemos, "Analyzing Safety Requirements for Process Control Systems" 12 (12): 42-53, 1995

32 Harold W. Lawson, "An Assessment Methodology for Safety Critical Computer Based Systems" 183-200, 1995

33 Swarup, M. Ben, "A Software Safety Model for Safety Critical Application" 21-32, 2009

34 Peter L. Goddard, "A Combines Analysis Approach To Assessing Requirements for Safety Critical Real-Time Control Systems" 227-230, 1993