> Э-э погоди, не гони. Он просто сказал, что линуксовые сервера самые надёжные

У надежности есть много аспектов. И сказать что например реалтайм гарантии линуха надежны я бы пока не рискнул, допустим. Это новый слабо изученный топик, в области где оптимизм ничем хорошим не заканчивается.

Это я говорю как тот кто линух в управляющие системы любит ставить. И в этом деле очень важно понимать свои лимиты и трезво оценивать возможности, иначе можно наломать много дров. Тот факт что система не падает еще не гарантия что все идет так как должно было.

> тщательной системы проверок всего софта и электронную начинку под неё?

Я думаю что авиаторы в целом в курсе проблем своей области и вон то решаемо. Но не просто и не быстро. И кой-какие воркфлоу, правила/стиль кодинга и проч в кернеле следовало бы несколько изменить имхо. Де факто линух только в начале своего пути в серьезные управляющие системы и прочие критичные штуки, типа бортовых компьютеров. Но да, он смотрелся бы интересно в ряде мест. Это многие имхо понимают.