1 / 34

Can we trust the computer?

Can we trust the computer?. 6 조 신종훈 , 이상근 , 최보윤. 목차. 컴퓨터를 믿을 수 있는가 ? 컴퓨터 오류 사례 문제 발생 원인 기술적인 문제 제거 방법 법적인 문제 제거 방법. 번지 점프 하다. 로봇이 운전하는 KTX. 로봇이 운전하는 비행기. 컴퓨터를 믿습니까 ?. 컴퓨터 오류 사례. 청구서 오류 DB 정확성 문제 통신수단에서의 오류 인터넷 대란 비행기 사고 The Therac-25. 청구서 오류. 전기요금이 $6.3 million

merrill-newman
Download Presentation

Can we trust the computer?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Can we trust the computer? 6조 신종훈, 이상근, 최보윤

  2. 목차 • 컴퓨터를 믿을 수 있는가? • 컴퓨터 오류 사례 • 문제 발생 원인 • 기술적인 문제 제거 방법 • 법적인 문제 제거 방법

  3. 번지 점프 하다

  4. 로봇이 운전하는 KTX

  5. 로봇이 운전하는 비행기

  6. 컴퓨터를 믿습니까?

  7. 컴퓨터 오류 사례 • 청구서 오류 • DB 정확성 문제 • 통신수단에서의 오류 • 인터넷 대란 • 비행기 사고 • The Therac-25

  8. 청구서 오류 • 전기요금이 $6.3 million • 세금이 $40,000,001,541.13

  9. DB 정확성 문제 • 잘못된 데이터 입력 • 예제1. Middle name • 예제2. You are dead. • 예제3. 10만원짜리 노트북 • 잘못된 정보를 통한 정보의 왜곡 • 아무 이유 없이 학교에서 따돌림 당한 14살 소년

  10. 통신수단에서의 오류 • AT&T (Telephone Service) • 1990년 1월, 9시간 동안 불통 • 1991년 6-7월, 동서부 연안의 전화 불통 • Galaxy IV 인공위성 컴퓨터 오류 • 85%의 삐삐 서비스 중지 • 라디오, TV 전파 방해 • 비행기 이륙 연기 • 신용카드 거래 중지

  11. 인터넷 대란 • http://news.naver.com/vod/tv.php?mode=LOD&office_id=052&article_id=0000032889

  12. 비행기 사고 • The A320 Airbus “fly-by-wire” • 1988~1993, four crashes

  13. The Therac-25

  14. 무엇이 문제일까요?

  15. SW에서 오류가 발생하는 원인 • 프로그래밍은 본질적으로 어려운 일이다. • MS 윈도우 2000은 4천만 줄의 코드로 되어있다. • 종종 부주의한 실수가 있을 수 있다.

  16. Factors in computer system failures (cont.) • 예기치 않은 동작을 하는 장치와의 상호작용 • SW와 HW, 응용프로그램과 OS의 호환성 결여 • 압력에 의한 서두른 릴리즈 • 위험에 대한 부적합한 불충분한 주의 • 예기치 않은 입력에 대한 계획과 디자인 부족 • 불충분한 테스트

  17. Factors in computer system failures • 적합하지 않은 SW의 재사용 • SW에 대한 과신 • 부주의 • 허위 진술이나 문제 은폐 • 시스템 운영상의 문제 • 인센티브 부족

  18. 기술적인 문제 제거 방법 • SW 엔지니어의 책임 • 사용자 인터페이스 • 중복 시스템 (Redundancy) • 자가진단 • 테스트

  19. SW 엔지니어의 책임 • 대부분의 사고들은 잘 알려지고 기본적인 기술에 대한 적용의 실패 때문에 발생한다. • 사고를 방지하기 위해서는 개발 뿐만 아니라 시스템의 운영과 관련된 모든 부분의 관리가 필요하다.

  20. 사용자 인터페이스 (cont.)

  21. 사용자 인터페이스 (cont.) • 명확한 사용설명서 • 적합한 오류 메시지 • 일관성 유지 • 입력에 대한 적합한 체크

  22. 사용자 인터페이스

  23. 중복 시스템 (Redundancy) • 동일하면서도 서로 독립적인 여러 시스템 사용 아니오 잔여 비행 취소 예 아니오 예 예

  24. 자가진단 • 지속적으로 자신을 모니터하고 문제를 자동으로 바로잡는 시스템예. AT&T의 전화 시스템

  25. 테스트 • 없어도 되는 사치? • 최종 기한을 지키기 위해서나 돈을 절약하기 위해서 절약해도 되는 단계? • This is foolish, risky, and often irresponsible attitude !!!

  26. 법적인 문제 제거 방법 • 형사/민사 소송 • SW 소비자에 대한 보증 • Safety-Critical 응용시스템의 통제

  27. 형사/민사 소송 • 잘 디자인 된 책임법과 형사법을 통한 컴퓨터 시스템의 신뢰도와 안전성 증가

  28. 엄격한 법 조건 적용 SW에 대한 책임감 증가 소비자는 법적 보호 필요 SW가 전자레인지와 왜 다른가 오히려 SW 더 빨리 진보할 것 버그는 필연적 가격 상승 불가피 중소기업 파산 기술혁신, 새 제품 개발 감소 SW 소비자에 대한 보증

  29. Safety-Critical 응용시스템의 통제 (cont.) • 생명을 위협하는 컴퓨터 오류 • 오류가 치명적일 경우 응용시스템을 위한 컴퓨터 사용을 막아야 하나? • 위험보다는 그에 대한 이득이 더 많다. • 해결책은 통제?

  30. 찬성측 회사는 이익 우선 참사 예방 우선 잠재고객은 비전문가 소송 비용 부담 반대측 승인 절차는 고비용, 시간 낭비 신상품 사용 저하 심의에서 결과만 보고 판단 정치에 영향 받을 수 있음 Safety-Critical 응용시스템의 통제

  31. 책임 지기 • 세금 프로그램의 오류 • 유나이티드 항공사 • US, 유럽 노선을 25$에 파는 실수

  32. Ex 4.36 로봇 공장 (cont.)

  33. Ex 4.36 로봇 공장 • 로봇 시스템을 디자인한 회사 • 공장을 운영하는 회사 • 부주의하게 공장에 침입한 노동자

  34. The End

More Related