대표어
한국학술지인용색인(NRF)
권호기사보기
| 기사명 | 저자명 | 페이지 | 원문 | 기사목차 |
|---|
국회도서관 홈으로
정보검색
소장정보 검색
결과 내 검색
동의어 포함
목차보기
목차
소프트웨어 안전성 평가를 위한 소프트웨어 고장 유형과 영향 분석에 관한 연구 / 김명희 ; 박만곤 1
요약 1
ABSTRACT 1
1. 서론 2
2. 안전필수 시스템의 결함 분석 기법틀 3
2.1. 결함 위험 분석(Fault Hazard Analysis, FHA) 4
2.2. 결함 트리 분석(Fault Tree Analysis, FTA) 5
2.3. 공통 원인 고장 분석(Common Cause Failure Analysis, CCFA) 6
2.4. 고장유형 및 영향 분석(Failure Modes and Effect Analysis, FMEA) 6
3. FTA와 소프트웨어 FMEA를 결합한 결합분석 사례 8
3.1. 소프트웨어 고장 유형과 영향 분석 (Software FMEA) 8
3.2. 안전필수 시스템의 소프트웨어 설계 프로세스에서의 안전성 관리 활동 10
3.3. 안전 필수 유비쿼터스 헬스케어 시스템의 기능 블록 다이어그램 10
3.4. 유비쿼터스 헬스케어 시스템의 기능에 따른 고장 유형들 11
3.5. FTA에 의한 고장의 표현 11
3.6. U-healthcare 시스템의 고장에 대한 리스크 메트릭스 12
3.7. 시스템의 고장 위험에 대한 우선순위(RPN)의 계산과 시정조치 13
4. 결론 13
참고문헌 14
[저자소개] 16
초록보기
오늘날 대다수의 안전필수 시스템들(Safety-Critical Systems)에는 컴퓨터, 전기 및 전자 부품이나 장치들에 소프트웨어를 칩에 내장하거나 제어용 소프트웨어 시스템이 탑재되어 구축되고 있다. 이에 따라, 컴퓨터 소프트웨어를 내장하였거나 탑재한 시스템들의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 제안되어져 오고 있다. 이러한 소프트웨어 결함 분석 기법들은 전통적으로는 하나의 안전필수 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 그 시스템에 가장 알맞은 결함 분석 기법이 동원되어야 함은 필수적이다. 본 연구에서는, 안전필수 시스템에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템 제어 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함트리 분석(FTA)과 소프트웨어 고장 유형 및 영향 분석(FMEA)을 결합한 시스템 결함 분석 방법을 제안하고 유비쿼터스 헬스케어 시스템을 이용하여 사례연구를 수행하고자 한다.
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.
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.
권호기사
참고문헌 (34건) : 자료제공( 네이버학술정보 )
| 번호 | 참고문헌 | 국회도서관 소장유무 |
|---|---|---|
| 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 | Software safety analysis of function block diagrams using fault trees  |
미소장 |
| 11 | The Analysis of Software Fault and Application Method of Weight using the Testing Data | 소장 |
| 12 | Analyzing safety requirements for process-control systems |
미소장 |
| 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 (RAMS), pp.1-6, 2011. | 미소장 |
| 21 | Rodrigo de Queiroz Souza and Alberto José Álvares, “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 | Knowledge-enriched Process FMEA Model For Process Planning | 소장 |
| 23 | Peter L. Goddard, “Validating The Safety of Embedded Real-Time Control Systems using FMEA,” Proceedings Annual Reliability and Maintainability Symposium, 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 | Analyzing Software Safety |
미소장 |
| 28 | Software safety: why, what, and how |
미소장 |
| 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 | Software Performance Assessment Using Goal-Question-Metric Approach | 소장 |
| 34 | Peter L. Goddard and R. Davis, “Automated FMEA Techniques,” Final Technical Report, RADC-TR-84-244, AD-154161, 1984. | 미소장 |
MARC 보기
오류 데이터 정정요청
*표시는 필수 입력사항입니다.
알림톡 발송
| 전화번호 |
|---|
개인정보 수정 바로가기
연속간행물 권호 선택
우편복사 안내
- ◾ 도서관을 방문하지 못할 경우 인터넷, 팩스 등으로 자료 복사를 신청하고, 복사물을 우편·팩스 등으로 제공받는 서비스
- ◾ 대상자료: 일반도서, 연속간행물 및 학위논문
- ※ 고서, 고잡지, 훼손될 우려가 있는 자료, 마이크로폼 자료 및 신문 등 제외
- ◾ 신청 책수: 1인 5책 이하(1일 기준)
- ◾ 신청 절차: 자료 검색 → 우편복사 목록담기 → 복사 범위 입력 → 우편복사 주문서 입력 → 접수 및 확인
- ※ 저작권법에 의거하여 부분 복사(전체 페이지 수의 1/3 범위 이내)만 가능
- ◾ 복사 범위 입력 예시: (연속 페이지) 1-30, (부분 페이지) 25, 30-40
| 번호 | 발행일자 | 권호명 | 제본정보 | 자료실 | 원문 | 신청 페이지 |
|---|
도서위치안내(서울관)
도서위치안내: 정기간행물실(524호) / 서가번호: 국내04
2021년 이전 정기간행물은 온라인 신청(원문 구축 자료는 원문 이용)
0
확인
우편복사 목록담기를 완료하였습니다.
내서재에 담기
새로운 서재
*표시는 필수 입력사항입니다.
저장
저장 되었습니다.