> the team that worked on the space shuttle's onboard computer systems and the rigorous processes they followed to ensure correctness and safety
Those processes are expensive. It'd imagine that they're a huge political problem to maintain, giving cost-cutting pressures and the temptations of COTS [1].
[1] https://www.faa.gov/aircraft/air_cert/design_approvals/air_s...