> Avionics is miles ahead of everyday commercial stuff like your desktop computer in reliability and correctness.
What OS that they use that is so much better?
What OS that they use that is so much better?
https://en.wikipedia.org/wiki/Avionics_software
> Avionics software is embedded software with legally mandated safety and reliability concerns used in avionics. The main difference between avionic software and conventional embedded software is that the development process is required by law and is optimized for safety.