LynxSecure — защита от рыси
-
Обзор LynxSecure
- Гипервизор с разделяющим ядром для критически важных приложений
- Разработан для военных, авиационных, промышленных и автомобильных рынков
- Повышает надежность систем с регулируемыми средами
-
Особенности и использование
- Нацелен на отделение важных приложений от интернет-доменов
- Изолирует функции безопасности от доменов приложений
- Проверяет и фильтрует междоменные сообщения
- Работает прозрачно и не поддается вмешательству
- Может быть встроен в широкий спектр устройств
-
Архитектура и управление
- Упрощенный дизайн для повышения надежности хоста
- Прямое управление системой через архитектуру, написанную разработчиком
- Управление ядрами процессора, памятью и периферийными устройствами
- Поддержка паравиртуализированных и полностью виртуализированных ОС
-
Поддержка и обновления
- Поддержка CC EAL-7 и DO-178
- Поддержка нескольких ОС на одном оборудовании
- Поддержка SMP и 64-битной адресации
- 100% бинарная совместимость с Linux и POSIX
- Соответствие архитектуре MILS
-
Основные обновления и релизы
- LynxSecure 2.0: многопроцессорность, поддержка POSIX, Linux ABI, ARINC
- LynxSecure 3.0: полная виртуализация, аудит, встроенные тесты, гибкое планирование
- LynxSecure 4.0: поддержка Intel Core i7 и i5, новые конфигурации ОС, обновленная IDE
- LynxSecure 5.0: повышение производительности, поддержка 64-битных и SMP ОС
- LynxSecure 6.0: первый порт на архитектуру Arm®, представлен на Arm TechCon
Полный текст статьи: