Разработчик | Программное обеспечение Green Hills |
---|---|
Семейство ОС | Операционные системы реального времени |
Рабочее состояние | Текущий |
Исходная модель | Закрытый источник (секретно) |
Маркетинговая цель | Встроенные системы |
Доступно в | английский |
Платформы | ARM , XScale , Blackfin , ColdFire , MIPS , PowerPC , IA-32 , x86-64 |
Тип ядра | Микроядро |
Лицензия | Проприетарный |
Официальный веб-сайт | www |
INTEGRITY и INTEGRITY-178B - операционные системы реального времени (ОСРВ), производимые и продаваемые Green Hills Software .
ЦЕЛОСТНОСТЬ [ править ]
Целостность POSIX -certified и предназначенная для использования в встраиваемых системах из 32 бит или 64 бит . Поддерживаемые компьютерные архитектуры включают варианты: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale и x86 . INTEGRITY поддерживается популярными библиотеками SSL / TLS, такими как wolfSSL . [1]
INTEGRITY-178B [ править ]
INTEGRITY-178B - это версия INTEGRITY, соответствующая DO-178B . Он используется в нескольких военных самолетах, таких как B-2 , [2] F-16 , F-22 и F-35 , а также в коммерческом самолете Airbus A380 . [3] Его конструкция ядра гарантирует ограниченное время вычислений за счет исключения таких функций, как динамическое распределение памяти .
Возможности аудита и инженерии безопасности позволили ему получить 6-й уровень оценки (EAL), присвоенный Агентством национальной безопасности (NSA). [3] Целевая архитектура оценки (ОО) в Целе безопасности для оценки исключает такие компоненты, как компоненты для файловой системы и сети , из определения ОО, фокусируясь почти исключительно на основном ядре. [4] Другие операционные системы, такие как Windows , macOS или Linux , хотя и оцениваются на более низких уровнях гарантии, обычно включают эти возможности в свои ОО.
Поддерживаемые архитектуры процессоров [ править ]
Пакет поддержки архитектуры INTEGRITY (ASP) обеспечивает поддержку многих семейств процессоров:
- PowerPC / Power ISA
- AMD и Intel : x86
- ARM Holdings : ARM
- MIPS
Ссылки [ править ]
- ^ "i.MX6 CAAM с ОС Integrity - wolfSSL" . 2018-10-26 . Проверено 14 февраля 2019 .
- ^ «Доска или скучно? Lockheed Martin увлекается аппаратным бизнесом COTS» . Журнал VITA Technologies. 10 декабря 2010 . Проверено 9 марта 2012 года .
- ^ a b Келли Джексон Хиггинс (2008-11-18). «Безопасная ОС получает высший рейтинг АНБ, становится коммерческой» . Темное чтение . Проверено 1 декабря 2013 .
- ^ «Целевое значение безопасности ядра разделения Integrity-178B» (PDF) . SAIC. 2011-01-31 . Проверено 22 марта 2011 .
Внешние ссылки [ править ]
- Официальный веб-сайт
- Официальный сайт INTEGRITY-178B