That's pretty much the point. The safety required makes writing a complex, life critical system like this and getting it certified pretty much impossible with o

That's pretty much the point. The safety required makes writing a complex, life critical system like this and getting it certified pretty much impossible with our current software methodologies. There's been quite a few software bugs in certified aviation software. One in the control system for ABS brakes caused a runway overrun, another in the Airbus fly by wire system caused an in flight upset with multiple head and spinal injuries.