NASA тестирует систему управления на базе "обычного" железа и софта, в смысле доступного коммерчески, а не вышитого строго под заказ. Судя по названию программы, HA предполагается обеспечить резервированием систем.При этом выбор делало не NASA (которое достаточно давно определилось с линуксом), а их контрактор Honeywell, который в линукс для аэрокосмоса залез на моей памяти впервые. Соответственно те выбрали субподрядчиком Wind River.
Заметка для думающих, что специалисты: в Wind River несколько лет тому орали, что линукс сакс (поскольку он выносил с рынка их проприетарную BSD, какая досада). Кушать продолжать захотели -- решили сменить пластинку и заняться делом, а не истерикой. Начали с покупки технологии RTLinux у FSMLabs.
"Добрым молодцам урок".
2 _Nick_: сделайте одолжение, погуглите "NASA Linux", прежде чем и сюда с микроядрами. А ещё лучше -- попользуйтесь этими самыми микроядрами да поразрабатывайте под них модули. Потом вернёмся к надёжности суммы кода.