> The difference is that airplane software standards are by far the most rigorous in the world and so rigorous that most software developers are shocked at the level of rigor employed

Now they are. This regulations are a result of several tragedies culminating in a big disaster:

https://en.wikipedia.org/wiki/American_Airlines_Flight_191