А вот на чём оказывается, работают американские "волшебные штуки":

INTEGRITY-178B
www.ghs.com/products
LynxOS

(Найдено все, я извиняюсь, чтением коментов на секьюритилабе 8-( ) [cg] )