Tình huống về #Giả định thiết kế

Hệ thống tên lửa Patriot tại Dhahran (1991): sai số làm tròn trong đồng hồ phần mềm và bản sửa lỗi đến chậm một ngày

Ngày 25/2/1991, một hệ thống Patriot tại Dhahran (Ả Rập Xê Út) không đánh chặn được tên lửa Scud, khiến 28 binh sĩ Mỹ thiệt mạng. Theo GAO, sai số làm tròn khi chuyển đổi thời gian trong phần mềm tích tụ theo thời gian chạy liên tục; khẩu đội đã chạy hơn 100 giờ. Dữ liệu cảnh báo có từ hai tuần trước, nhưng hướng dẫn gửi đơn vị không nói rõ "chạy lâu" là bao lâu, và bản phần mềm sửa lỗi tới nơi một ngày sau vụ tấn công. Bài học về giả định vận hành và truyền đạt biện pháp tạm thời.