Aviso de isenção de responsabilidade: reuni essas informações apenas no google / wikipedia, não posso julgar se elas estão corretas, mas devo começar.
De acordo com este documento da Green Hills Software , a FAA exige que o software em aviões passe pelo DO-178B, Considerações sobre software em sistemas aerotransportados e certificação de equipamentos .
O sistema operacional Integrity desenvolvido por essa mesma empresa é aparentemente certificado como tal.
Claro que a maioria dessas informações é da empresa que vende esse sistema operacional específico ou da wikipedia. Use com cuidado.