Given how the automated ones are being developed in a “move fast and break thing” fashion by engineers under strong management pressure to deliver ASAP, I'm not sure the alternative is too much of an improvement.

If we added mandatory formal methods use (mathematically proving the code's invariants) during development, and gave full criminal liability to the managers in charge of the project when someone is injured/killed, then it probably would, but we clearly aren't there yet.

How soon? A well proven prediction seems to be "50 years from now" still... At least for Level 5.