Целостность (операционная система)

ЧЕСТНОСТЬ
Разработчик	Программное обеспечение Зеленых холмов
Семейство ОС	Операционные системы реального времени
Рабочее состояние	Текущий
Исходная модель	Закрытый исходный код (секретно)
Маркетинговая цель	Встраиваемые системы
Доступно в	Английский
Платформы	ARM , XScale , Blackfin , ColdFire , MIPS , PowerPC , IA-32 , x86-64
ядра Тип	Микроядро
Пользовательское пространство	ПОСИКС
Лицензия	Собственный
Официальный сайт	www .ghs .с /продукты /rtos /честность .html

INTEGRITY и INTEGRITY-178B — операционные системы реального времени (RTOS), производимые и продаваемые компанией Green Hills Software .

ЧЕСТНОСТЬ

INTEGRITY сертифицирован по POSIX и предназначен для использования во системах встроенных 32-битных или 64-битных . Поддерживаемые компьютерные архитектуры включают варианты: ARM , Blackfin , ColdFire , MIPS , PowerPC , XScale и x86 . INTEGRITY поддерживается популярными библиотеками SSL/TLS, такими как wolfSSL . ^[1]

ЦЕЛОСТНОСТЬ-178B

INTEGRITY-178B — это DO-178B версия INTEGRITY, соответствующая . Он используется в нескольких военных самолетах, таких как B-2 , ^[2] F-16 , F-22 и F-35 , а также коммерческий самолет Airbus A380 . ^[3] Конструкция его ядра гарантирует ограниченное время вычислений за счет исключения таких функций, как динамическое распределение памяти .

Возможности аудита и обеспечения безопасности позволили ему получить рейтинг уровня обеспечения оценки (EAL) 6 Агентства национальной безопасности (АНБ). ^[3] Архитектура объекта оценки (TOE) в задаче безопасности для оценки исключает такие компоненты, как файловая система и сеть , из определения TOE, сосредотачиваясь почти исключительно на ядре ядра. ^[4] Другие операционные системы, такие как Windows , macOS или Linux , хотя и оцениваются на более низких уровнях уверенности, обычно включают эти возможности в свои ОО.

Поддерживаемые архитектуры процессоров

Пакет поддержки архитектуры INTEGRITY (ASP) обеспечивает поддержку многих семейств процессоров:

Ссылки

^ «i.MX6 CAAM с ОС Integrity — wolfSSL» . 26 октября 2018 г. Проверено 14 февраля 2019 г.
^ «Доска или скучно? Lockheed Martin начинает заниматься производством COTS-оборудования» . Журнал «ВИТА Технологии». 10 декабря 2010 года. Архивировано из оригинала 2 мая 2012 года . Проверено 9 марта 2012 г.
^ Jump up to: ^а ^б Келли Джексон Хиггинс (18 ноября 2008 г.). «Безопасная ОС получила высший рейтинг АНБ и стала коммерческой» . Мрачное чтение. Архивировано из оригинала 3 декабря 2013 г. Проверено 1 декабря 2013 г.
^ «Цель безопасности ядра разделения Integrity-178B» (PDF) . САИК. 31 января 2011 г. Проверено 22 марта 2011 г.

Внешние ссылки

Официальный сайт
Официальный сайт INTEGRITY-178B

[1] «i.MX6 CAAM с ОС Integrity — wolfSSL» . 26 октября 2018 г. Проверено 14 февраля 2019 г.

[VITA_Technologies_Magazine-2] «Доска или скучно? Lockheed Martin начинает заниматься производством COTS-оборудования» . Журнал «ВИТА Технологии». 10 декабря 2010 года. Архивировано из оригинала 2 мая 2012 года . Проверено 9 марта 2012 г.

[darkreading-3] Jump up to: ^а ^б Келли Джексон Хиггинс (18 ноября 2008 г.). «Безопасная ОС получила высший рейтинг АНБ и стала коммерческой» . Мрачное чтение. Архивировано из оригинала 3 декабря 2013 г. Проверено 1 декабря 2013 г.

[securitytarget-4] «Цель безопасности ядра разделения Integrity-178B» (PDF) . САИК. 31 января 2011 г. Проверено 22 марта 2011 г.

[1]

[2]

[3]

[4]