Tag: safety-critical-systems

Therac-25 became the canonical software-safety case because lethal overdoses emerged from race conditions, removed hardware interlocks, opaque errors, and weak incident learning.

Qantas Flight 72 showed how a rare air-data failure and a subtle flight-control software assumption could combine to command two sudden pitch-down movements in cruise.