INTEGRITY — операционная система реального времени, разработанная калифорнийской компанией Green Hills Software. Сертифицирована на соответствие POSIX. Ориентирована на однопроцессорные встраиваемые системы, в центральном процессоре которых есть блок управления памятью (архитектуры ARM, XScale, Blackfin, Freescale ColdFire, MIPS, PowerPC, x86). Система основана на микроядре velOSity. Главная особенность системы — отказоустойчивость (если произойдет отказ в какой-либо программе запущенной в этой ОС, система будет продолжать работать в штатном режиме).

INTEGRITY-178B

INTEGRITY-178B — операционная система реального времени, «поднабор» INTEGRITY, сертифицированная по уровню A стандарта DO-178B (в России известен как КТ-178B^[1]). Полностью поддерживает ARINC-653-1-Application/Executive (APEX) API.

Используется в американских военных самолетах (например F-16, F-22, F-35) и вертолетах, так же в гражданских Airbus A380, Boeing 787.

Примечания