영상자료 - 1993년 바르샤바 에어버스 사고 by Sommerville

영상제목: 1993년 바르샤바 에어버스 사고(Warsaw airbus accident)

스피커: Ian Sommerville 

영상길이: 9분 51초

출처: https://www.youtube.com/watch?v=wzoxek74RTs

1993년 9월 14일, 독일 Lufthansa 항공사의 2904기(Airbus A320-211)가 폴란드 Okecie 국제 공항의 활주로 제방에 충돌한 사고를 설명한 10분짜리 영상

---

사고에 기여한 요인 중 하나가 제동 장치의 제어 소프트웨어임. 이 소프트웨어가 명세된 대로 정확하게 동작했음에도 불구하고 그 명세서가 특정 조건(환경) 자체를 고려하지 않았기 때문에 해당 조건이 발생하자 사고가 일어남

신뢰할 수 있는 소프트웨어(즉, 버그/에러가 없음)가 반드시 안전한 것은 아님을 보여주는 사례