Transcript 컴퓨터 오류 사례
Can we trust the computer? 6조 신종훈, 이상근, 최보윤 목차 컴퓨터를 믿을 수 있는가? 컴퓨터 오류 사례 문제 발생 원인 기술적인 문제 제거 방법 법적인 문제 제거 방법 번지 점프 하다 로봇이 운전하는 KTX 로봇이 운전하는 비행기 컴퓨터를 믿습니까? 컴퓨터 오류 사례 청구서 오류 DB 정확성 문제 통신수단에서의 오류 인터넷 대란 비행기 사고 The Therac-25 청구서 오류 전기요금이 $6.3 million 세금이 $40,000,001,541.13 DB 정확성 문제 잘못된 데이터 입력 – 예제1. Middle name – 예제2. You are dead. – 예제3. 10만원짜리 노트북 잘못된 정보를 통한 정보의 왜곡 – 아무 이유 없이 학교에서 따돌림 당한 14살 소년 통신수단에서의 오류 AT&T (Telephone Service) – 1990년 1월, 9시간 동안 불통 – 1991년 6-7월, 동서부 연안의 전화 불통 Galaxy IV 인공위성 컴퓨터 오류 – – – – 85%의 삐삐 서비스 중지 라디오, TV 전파 방해 비행기 이륙 연기 신용카드 거래 중지 인터넷 대란 http://news.naver.com/vod/tv.php?mode=LOD&office_i d=052&article_id=0000032889 비행기 사고 The A320 Airbus “fly-by-wire” – 1988~1993, four crashes The Therac-25 무엇이 문제일까요? SW에서 오류가 발생하는 원인 프로그래밍은 본질적으로 어려운 일이다. – MS 윈도우 2000은 4천만 줄의 코드로 되어있다. 종종 부주의한 실수가 있을 수 있다. Factors in computer system failures (cont.) 예기치 않은 동작을 하는 장치와의 상호작용 SW와 HW, 응용프로그램과 OS의 호환성 결여 압력에 의한 서두른 릴리즈 위험에 대한 부적합한 불충분한 주의 예기치 않은 입력에 대한 계획과 디자인 부족 불충분한 테스트 Factors in computer system failures 적합하지 않은 SW의 재사용 SW에 대한 과신 부주의 허위 진술이나 문제 은폐 시스템 운영상의 문제 인센티브 부족 기술적인 문제 제거 방법 SW 엔지니어의 책임 사용자 인터페이스 중복 시스템 (Redundancy) 자가진단 테스트 SW 엔지니어의 책임 대부분의 사고들은 잘 알려지고 기본적인 기술에 대한 적용의 실패 때문에 발생한다. 사고를 방지하기 위해서는 개발 뿐만 아니라 시스템의 운영과 관련된 모든 부분의 관리가 필요하다. 사용자 인터페이스 (cont.) 사용자 인터페이스 (cont.) 명확한 사용설명서 적합한 오류 메시지 일관성 유지 입력에 대한 적합한 체크 사용자 인터페이스 중복 시스템 (Redundancy) 동일하면서도 서로 독립적인 여러 시스템 사용 아니오 잔여 비행 취소 예 아니오 예 예 자가진단 지속적으로 자신을 모니터하고 문제를 자동으로 바로 잡는 시스템 예. AT&T의 전화 시스템 테스트 없어도 되는 사치? 최종 기한을 지키기 위해서나 돈을 절약하기 위해서 절 약해도 되는 단계? This is foolish, risky, and often irresponsible attitude !!! 법적인 문제 제거 방법 형사/민사 소송 SW 소비자에 대한 보증 Safety-Critical 응용시스템의 통제 형사/민사 소송 잘 디자인 된 책임법과 형사법을 통한 컴퓨터 시스템의 신뢰도와 안전성 증가 SW 소비자에 대한 보증 엄격한 법 조건 적용 버그는 필연적 - SW에 대한 책임감 증가 - 가격 상승 불가피 - 소비자는 법적 보호 필요 - 중소기업 파산 - SW가 전자레인지와 왜 다른가 - 기술혁신, 새 제품 개발 감소 - 오히려 SW 더 빨리 진보할 것 Safety-Critical 응용시스템의 통제 (cont.) 생명을 위협하는 컴퓨터 오류 오류가 치명적일 경우 응용시스템을 위한 컴퓨터 사용 을 막아야 하나? – 위험보다는 그에 대한 이득이 더 많다. 해결책은 통제? Safety-Critical 응용시스템의 통제 찬성측 반대측 - 회사는 이익 우선 - 승인 절차는 고비용, 시간 낭비 - 참사 예방 우선 - 신상품 사용 저하 - 잠재고객은 비전문가 - 심의에서 결과만 보고 판단 - 소송 비용 부담 - 정치에 영향 받을 수 있음 책임 지기 세금 프로그램의 오류 유나이티드 항공사 – US, 유럽 노선을 25$에 파는 실수 Ex 4.36 로봇 공장 (cont.) Ex 4.36 로봇 공장 로봇 시스템을 디자인한 회사 공장을 운영하는 회사 부주의하게 공장에 침입한 노동자 The End