The role of software in spacecraft accidents
https://blog.acolyer.org/2017/11/30/the-role-of-software-in-spacecraft-accidents/ [blog.acolyer.org]
2017-12-01 05:15
In almost all software-related aerospace accidents, it turns out that the software is behaving as designed, but the designed behaviour was not safe from a system viewpoint. Safety-related software errors arose from discrepancies between the documented requirements, and what was actually needed for correct functioning of the system, and misunderstandings about the software’s interface with the rest of the system.