На прошедшей в Праге конференции Linux Foundation Embedded Open-Source Summit инженеры из компании Boeing и организации UL (Underwriter Laboratorie, занимается сертификацией безопасности) выступили с докладом о проблемах, связанных с применением Linux в авионике и критически важных системах, в которых предъявляются особые требования к надёжности (полное соответствие поведения заданной спецификации) и безопасности (отсутсвтие неопределенного поведения). Отмечается, что применяемые в авионике специализированные RTOS проходят специальную сертификацию, созданы с оглядкой на предоставление гарантий в безопасности и надёжности, и проходят формальную верификацию соответствия спецификациям.
