@blacklight @szescstopni @rrwo @Threadbane building software has always and is still about choosing an engineering point between fast delivery and "perfectly safe code". In satellite, there is a very specific engineering point since errors are so costly. Same as for rockets or aircraft avionics...

In most other industries, the costs balance is very different. Simply because it's cheaper to pay for a car crash vs waiting for perfect guidance system in consumer cars.