d라이브러리

2002년 김해공항 보잉 767 추락사고 이후, 구조적 문제점과 계기착륙시스템의 한계를 지적함. 위성항법 기반의 착륙시스템 개발이 주목받으며, 국제민간항공기구(ICAO)가 새 시스템 도입을 결정. 서울대 연구팀이 위성 기반 착륙시스템 개발에 성공하여 위치 오차를 2m 이내로

1969년 아폴로 11호의 달 착륙으로 미 항공우주 기술이 크게 진보했으나, 1986년 챌린저호 폭발 사고로 인해 NASA의 실수가 드러나고 우주 비행사의 안전 문제가 제기되었다. 결국, 안전 미비와 잘못된 우주선 발사 결정이 큰 비극을 초래했다.

소프트웨어 오류로 인한 참사를 예방하기 위한 고안전성 소프트웨어 개발이 중요해지며, 철도 및 항공 분야에서의 스케이드, ACAS 등을 사용하여 에러를 최소화하고 안전을 강화한다. 정형기법 적용으로 소프트웨어의 오류를 제거하고 콘콜릭 소프트웨어를 통해 철저한 테스트와 검증을...