Pushmi-Pullyu
Well-Known Member
It is worth noting that passenger aircraft generally get round this by using several computers, built to different designs with code produced using different high-level languages, written by separate teams kept isolated from each other. Some even insist on the team members having been educated in different universities in an attempt to eliminate common errors. A 'majority vote', in effect, is taken from them all to control safety critical systems. This is horrendously expensive, of course, and will not be done for cars.

I know that on the Space Shuttle, they did use five different computers which "voted" on results, to assure accuracy (and eliminate the problem of glitches due to cosmic ray events and other radiation), but my understanding is that those were five identical computers running identical software.
I'd be interested to see if you can come up with an authoritative citation for your assertion above. I will be very surprised if you can; it reads very much like B.S.
There are certain military or aerospace applications that demand software that is developed with a zero tolerance for bugs, producing very reliable software. But of course, as you say, it's still not possible to get 100% reliability in a program a million lines long. It's possible to get close.
Not that this will stop auto makers from making, or people from buying and using, self-driving cars. As I already said:
“The thing to keep in mind is that self-driving cars don’t have to be perfect to change the world. They just have to be better than human beings.” -- Deepak Ahuja, CFO of Tesla Inc.
But, Martin, you have shown yourself to have a highly developed ability to utterly ignore any facts or logic inconvenient to your arguments. As Ronald Reagan said: "Well, there you go again!"
-