Мне вспомнились эти 4:
MicroC / OS-II : это бесплатно и просто, но я думаю, что слишком мало хороших ресурсов доступно
LibeRTOS : Я могу рекомендовать это. Я использовал его несколько раз для разных проектов. Это хорошо, это быстро, и концепция двухъядерности действительно хорошо сделана.
RTLinux : Не могу вам многое рассказать об этом. Использовал его только один раз для очень маленького проекта и не углубился «за кулисы», но он был быстрым и надежным. (и очень дорого)
VxWorks : Потрясающая ОС ... Из Википедии:
- многозадачное ядро с упреждающим и циклическим планированием и быстрым ответом на прерывание
- Защита памяти для изоляции пользовательских приложений от ядра
- Поддержка SMP
- Быстрое, гибкое межпроцессное взаимодействие, включая TIPC
- Структура обработки ошибок
- Двоичные, счетные и взаимоисключающие семафоры с приоритетным наследованием
- Локальные и распределенные очереди сообщений
- Полное соответствие ANSI C и расширенные функции C ++ для обработки исключений и поддержки шаблонов
- POSIX PSE52 сертифицированное соответствие
- Файловая система.
- Сетевой стек IPv6
- Симулятор VxSim
- Поддержка: C / C ++ / JAVA
Если деньги не проблема: воспользуйтесь VxWorks! Вы можете делать все, что угодно: обновить холодильник, построить военную машину или полететь на Марс; -)
В противном случае посмотрите LibeRTOS ...