Ну, строго говоря, такие решения есть, и их много, только их авторы предпочитают, чтобы их не упоминали, потому что для них QNX - фактор успеха, который они не хотят раскрывать. Это, кстати, типичная картина для emmbedded market.

На самом деле, разговор-то был о другом - нужен же высокий коэффициент готовности. QNX его дает, за счет архитектуры. Если она не проходит по другим параметрам - ну что ж, значит, ква :)

:-)
а также его дает банальное резервирование. :-) 1+1, как говорят :-)