The portions of the software that need to be restarted have to do with avionics, not with the vehicle management computers that actually control the aircraft and keep it in the sky. The VMCs are triply redundant and are extremely reliable. The stuff that&#x27;s making the news and causing all the problems has nothing to do with actually keeping the plane in the air.