INTEGRITY и INTEGRITY-178B — это операционные системы реального времени (RTOS), производимые и продаваемые компанией Green Hills Software .
INTEGRITY сертифицирована POSIX и предназначена для использования во встраиваемых системах 32 -бит или 64-бит . Поддерживаемые компьютерные архитектуры включают варианты: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale и x86 . INTEGRITY поддерживается популярными библиотеками SSL/TLS, такими как wolfSSL . [1]
INTEGRITY-178B — это версия INTEGRITY, соответствующая DO-178B . Она используется в нескольких военных самолетах, таких как B-2 , [2] F-16 , F-22 и F-35 , а также в коммерческих самолетах Airbus A380 . [3] Ее конструкция ядра гарантирует ограниченное время вычислений за счет исключения таких функций, как динамическое распределение памяти .
Возможности аудита и инженерии безопасности позволили ему получить рейтинг Evaluation Assurance Level (EAL) 6 от Агентства национальной безопасности (NSA). [3] Архитектура цели оценки (TOE) в цели безопасности для оценки исключает такие компоненты, как компоненты для файловой системы и сети , из определения TOE, сосредотачиваясь почти исключительно на ядре ядра. [4] Другие операционные системы, такие как Windows , macOS или Linux , хотя и оцениваются на более низких уровнях гарантии, как правило, включают эти возможности в свои TOE.
Пакет поддержки архитектуры INTEGRITY (ASP) обеспечивает поддержку многих семейств процессоров: