Mars Rover Disaster
The Mars Rover disaster caused the Mars Rover software to behave unexpectedly after the unit landed on Mars.
The mis-behaviour was ostensibly caused by “priority inversion”.
This was seen as a bug in the RTOS (realtime operating system).
From my perspective, the bug was due to the problem of pushing a notation beyond its “comfort zone”.
Functional notation is appropriate for reasoning about calculators, i.e. synchronous sets of inputs which always cause synchronous outputs. The simplicity of this paradigm is lost when it is applied to concurrent processes, as witnessed by the accidental complexity that caused priority inversion.
The bug was later addressed by the addition of more complexity (priority inheritance) which repaired the immediate problem in the notation, but did not address the deeper problem (that of pushing a single notation beyond its boundaries of simplicity).