Компания Altell выступила Генеральным спонсором исследовательского проекта JariOS

Компания Altell, разработчик средств защиты информации, выступила генеральным спонсором исследовательского проекта JariOS.

Современные монолитные системы не предоставляют гибких возможностей конфигурирования и контроля использования ресурсов, что, в первую очередь, дает общую потерю гибкости и производительности, а исходя из требований по безопасности и верификации представляется маловероятным полноценное использование таких систем.

В этом случае, на основе многолетних исследований в области операционных систем, было решено разработать законченное решение на основе существующих наработок в области микро и экзо ядерных систем, что дало бы возможность минимизировать расход машинных ресурсов и значительно уменьшить базу кода, что в свою очередь, позволит провести полную верификацию исходных кодов, а также гарантировать строгую безопасность.

Для реализации этой задачи компания Altell выступила Генеральным спонсором исследовательского проекта JariOS

JariOS является многозадачной ОС с системой разделения времени с вытесняемым микроядром (http://www.jarios.org/).

Исследование в системной области проводилось для выяснения состоятельности систем на основе экзо- и микро- ядер, выявления плюсов и минусов, а также поиска возможных вариантов решения тех или иных ограничений архитектуры и дизайна.

«В задачи исследования входило теоретическое рассмотрение возможных узких мест во взятых ОС, создание архитектуры на основе проведенных теоретических исследований, разработка прототипа ОС, которая бы учитывала все недостатки и одновременно предоставляла все плюсы архитектур» - отметил Александр Вдовичев, руководитель проекта JariOS.

В ходе теоретических и практических экспериментов был создан прототип системы (на базе open source проектов Jari OS, µstring) учитывающий все недостатки и плюсы подобных систем.

Данное исследование преследует следующие цели:

1) Высокая производительность;

2) Гибкость;

3) Безопасность;

4) Вынесение семантики в пользовательское пространство и минимизация кода ядра;

5) Предоставление полного управления ресурсами в пользовательское пространство;

6) Создание системы реального времени;

7) Верифицируемость кода.

В рассмотрение были взяты: ExOS (исследовательская ОС на базе экзоядра), QNX RTOS, GNU/Hurd, GNU/Linux.

За дополнительной информацией обращайтесь к Анне Антоновой по телефону +7 (812) 309 0588 или по электронной почте.