Насколько мне известно QNX для этих целей и разрабатывалась, в смысле для управления системами американских самолетов, из-за чего ядро имеет размер ~50 кбайт и относительно хорошо отлажено.