In article ,
"Peter Duniho" wrote:

We are there now. We have the engineering know-how to produce
computer-flown airplanes, including solving all of the various redundancy
and system-isolation issues to address issues such as the one you think is a
problem.

What we don't have is the ability to formally prove the correctness of software.
(which is not to say that humans always are correct).

--
Bob Noel
no one likes an educated mule