◆`대충대충`은 사회적 재앙 부른다

　2002년=BMW, 연료 인젝션 펌프 리콜.

　2002년=대우자동차, 누비라II와 레조 앞 바퀴 브레이크 호스에 달린 고정장치가 진동으로 인해 호스에 균열 발생.

　2004년=한국은행, 운용 프로그램 내 소프트웨어(SW) 충돌로 5시간 업무 장애.

　2004년=국내 이동통신회사들, 통신사 간 번호이동 전산사고.

　국내외에서 발생한 이 다양한 사고의 원인은 모두 하나. SW 결함이다. SW의 결함은 SW 오작동으로 끝나지 않는다. 임베디드 SW는 자동차·휴대폰·선박....