Разработчик | Green Hills Software |
---|---|
Семейство ОС | Операционные системы реального времени |
Рабочее состояние | Текущее |
Исходная модель | Закрытый источник (засекречено) |
Маркетинговая цель | Встроенные системы |
Доступно на | английском языке |
Платформы | ARM, XScale, Blackfin, ColdFire, MIPS, PowerPC, IA -32, x86-64 |
Тип ядра | Microkernel |
Лицензия | Собственная |
Официальный сайт | www.ghs. com / products / rtos / целостность.html |
INTEGRITY и INTEGRITY-178B - это операционные системы реального времени (RTOS), производимые и продаваемые Green Hills Software.
ЦЕЛОСТНОСТЬ - это POSIX -сертифицировано и предназначено для использования во встроенных системах из 32-бит или 64-бит. Поддерживаемые компьютерные архитектуры включают варианты: ARM, Blackfin, ColdFire, MIPS, PowerPC, XScale и x86. INTEGRITY поддерживается популярными библиотеками SSL / TLS, такими как wolfSSL.
INTEGRITY-178B - это версия, совместимая с DO-178B. ЦЕЛОСТНОСТИ. Он используется в нескольких военных самолетах, таких как B-2, F-16, F-22 и F-35., и коммерческий самолет Airbus A380. Его конструкция ядра гарантирует ограниченное время вычислений, исключая такие функции, как динамическое распределение памяти.
Возможности аудита и проектирования безопасности позволили ему получить Evaluation Assurance Уровень (EAL) 6, присвоенный агентством Национальной безопасности (АНБ). Архитектура Target of Evaluation (TOE) в Target Security для оценки исключает компоненты, такие как компоненты для файловой системы и network, из определения TOE, сосредоточившись почти исключительно на ядре ядра. Другие операционные системы, такие как Windows, macOS или Linux, хотя и оцениваются с более низким уровнем гарантии, обычно включают эти возможности в свои ОО.
Пакет поддержки архитектуры INTEGRITY (ASP) обеспечивает поддержку многих семейств процессоров: