> На основании чего именно производитель решается предоставлять ту или иную гарантию -
> это уже вопрос не столь важный. Берет ли он оценку с потолка или же проводит комплекс
> всестороннего тестирования системы.

Тогда нет смысла покупать ответсвенный софт у профессионалов. Можно купить ОС у программсита алкаголика, индийца или китайца. Он под всем подпишеться, лишь бы хватило на бутылку.

Производители софта несут совершенно формальную ответсвенность за его качество если они поставщики Боинга, но Боингу не наплевать на чём основана уверенность проиводителя бортового оборудования, поэтому они вполне интересуются методкиой верификации. Боингу нужен летающий самолёт, а не разборки в судах. Есть формальные требования FAA, стандарт DO-178B.

Так что вопрос не в желающих, а в деньгах и требованиях заказчика.

Конечно, Миникс, как ОС обрабатывающие прерывания нельзя будет ставить в систему(как и большинство других ОС, в т.ч. qnx), которая будет влиять на безопасность полёта, но надеюсь у неё будет хорошая перспектива надёжной и устойчивой ОС с минимумом программерских ошибок.