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