You're massivley underestimating the impact that open sourcing would have because you're assuming that these software quality metrics whose utility is substanti

You're massivley underestimating the impact that open sourcing would have because you're assuming that these software quality metrics whose utility is substantiated with correlative evidence will have any causal significance post-open-sourcing regime. If you tell companies they have to open source, you can be sure they'll be MISRA-C compliant. That doesn't mean their code is any less shit. Things like MISRA-C are useful in large part because where they are violated, you can be sure there was sloppy engineering. Giving people incentives to game standards whose claim to significance is largely correlative only guarantees that those standards become meaningless. In order for open sourcing to be useful, you need to analyze the code against some form of specification that concisely captures what that code is supposed to be doing, not just the absence of certain low-level errors or coding patterns highly indicative of certain low-level errors. > And no they don't have to reveal the source to the OS, that's a strawman. Why? A major bug in the OS would almost certainly make it impossible to provide any guarantees about the behavior of the ECU. And that OS is probably used in a lot of other safety-critical settings. Sorry, but I still completely fail to see how your position isn't simply "primarily software companies deserve IP protections / primarily car companies don't". > Disambiguating claims of company secrets, from the reality of coverups, is the whole point. You're massively underestimating that amount of money car companies invest in both R&D and in engineering of software (Hell, car companies definitely spend more on CS R&D than the average software company, even if you restrict that to software companies working in safety-critical industries). This flippant attitude toward million/billlion dollar software investments based upon what companies happened to write that software is not going to fly outside of tech bubbles.