Matt O'Toole wrote:
But if an F16 needs reliable software to stay in the air, then
surely we can figure out a reliable system for our silly little
boats.

There's a reason F-16's are called "Lawn Darts"...all that reliable
software in the reboot process.