We have programmed such systems. We have programs to test all the possibilities in the software. And we have programs to test the testing programs. All hardw

We have programmed such systems. We have programs to test all the possibilities in the software. And we have programs to test the testing programs. All hardware has redundancy. The software is executed in multiple processors at the same time, so if one fails, the others take control.