This is just my observation, but this is what you get when software is used in such critical situations and yet the entire software engineering/development field is completely non-standardized and practically the wild west. Again, this is my opinion, which I know a lot of people disagree with, but we're going to keep coming up against this kind of stuff until software developers become licensed and accountable for their designs.