You can spec hardware, but when the company goes behind the engineering teams back and lies and saves a few pennies per car by not putting error-correcting RAM

You can spec hardware, but when the company goes behind the engineering teams back and lies and saves a few pennies per car by not putting error-correcting RAM on the things they say they will... you're kind of left hanging on that. And that's how Toyota works or at least worked when building the Corolla (just one of the best selling cars ever). Much of the code being dealt with by Toyota (at least that subject to the lawsuit and so made available for analysis) was embedded code which is a bit more amenable to very deliberate design, testing, and verification. NASA, for instance, has a long history of producing extremely reliable software, even proving the software correct at times. Would any private corporation in the world ever resort to following such a practice? Never. It would quadruple their software spending and, maybe worse, they would have to listen to their engineers. When the business wants to ship a project, if the engineer says 'its not ready yet', if its a bridge and they go ahead someone in a suit goes to prison. If it involves software, everyone goes home happy except the dead customers.