Группа ИТ-компаний DZ Systems и Университет Иннополис сообщают о переходе к завершающей стадии разработки российской ОС «Фантом» (http://phantomos.org) – уникальной операционной системы нового поколения, базирующейся на принципиально новом подходе к созданию программного кода. Потенциальные области применения ОС «Фантом» – предприятия энергетического сектора, включая атомные электростанции, медицинские учреждения, промышленные предприятия непрерывного цикла, банки, оборонно-промышленный комплекс, многие объекты критической информационной инфраструктуры, где требуется повышенная безопасность. В течение 2022 года планируется получение тестовой версии, ее итогом станет создание рабочего прототипа ОС «Фантом», портированной на базу ядра Genode.
Работа над созданием ОС «Фантом» идет с 2010 года. Как отмечает ее создатель – программист Дмитрий Завалишин, генеральный директор ГК DZ Systems, «операционная система устроена таким образом, что с точки зрения прикладного процесса она никогда не перестает работать. То есть физическое выключение компьютера для нее – то же самое, что пауза, не более. И прикладные программы при новом старте продолжают работать, как будто отключения не было». Это позволяет и самой системе, и приложениям быть более простыми, более эффективными и, в то же время, более защищенными от аппаратно-программных сбоев, внезапных отключений, вредоносных компьютерных программ.
ОС «Фантом» — одна из немногих операционных систем, опирающихся не на классические концепции Unix-подобных систем, а на объектную парадигму и концепцию ортогональной персистентности (orthogonal persistency). В 2019 г. на базе Университета Иннополис была создана рабочая группа, в задачи которой входит исследование возможностей разработки и развития ОС «Фантом». Одним из направлений ее работы стало портирование ОС «Фантом» на Genode – фреймворк для разработки операционных систем на базе микроядер, сращивание среды исполнения программ этой операционной системы с программным ядром фреймворка, имеющим возможность поддержки многочисленных аппаратных платформ (x86 32/64, arm 32/64, RISCV и др) и гипервизоров, включая формально верифицированную систему seL4. Как подчеркнул Дмитрий Завалишин, это позволит упростить и ускорить реализацию и доработку «Фантома». Также это поможет сделать ОС более надежной и безопасной, адаптировать ее к реальному использованию в промышленной сфере. Разработчики планируют, что в 2022 году рабочий прототип операционной системы «Фантом» на базе фреймворка Genode будет готов к использованию.
В дальнейших планах лаборатории – получение версии ОС «Фантом», интегрированной с чистым микро-ядром sel4, создание формально верифицированной ОС на базе верифицированного микроядра.
«Sel4 – единственное сегодня микроядро, в отношении которого математически доказана безошибочность его кода, – отметил Дмитрий Завалишин. – Код «Фантома» достаточно прост и невелик по объему. Если мы внедрим в него доказано правильное ядро, можно будет рассчитывать на то, что в результате удастся доказать и правильность кода всей операционной системы в целом. Это – одна из целей, которые мы преследуем в работе с Университетом Иннополис».
Ректор Университета Иннополис, профессор Александр Тормасов отметил, что «существующая достаточно давно концепция ортогональной персистентности сейчас, с кардиальным изменением доступных пользователям аппаратно-программных средств, может неожиданно оказаться одним из ключей к решению некоторых проблем современных компьютерных систем. В перспективе система позволит писать более компактное и надежное/безопасное ПО с меньшими трудозатратами, которое, к тому же, потребляет меньше электроэнергии и других ресурсов при работе. В наших ближайших планах — закончить портирование ОС «Фантом» на фреймворк Genode и подготовить его к использованию в реальных проектах, а также добавить поддержку популярных языков программирования».
В проекте принимают участие как штатные сотрудники, так и студенты Университета Иннополис. Все созданные на базе лаборатории и университета программные продукты распространяются на условиях свободных лицензий.
СПРАВКА
DZ Systems – группа компаний, основанная в 2005 году российским программистом Дмитрием Завалишиным. В нее входят компании Digital Zone, e-Legion, «Апрентис», DZ Outstaff. Digital Zone специализируется, на разработке сложных софтверных систем с веб-интерфейсом. Также на ее базе работает Лаборатория искусственного интеллекта. E-Legion — один из лидеров среди разработчиков мобильных приложений, входит в ТОП-3 отечественных компаний, работающих в этой сфере. Специализация «Апрентиса» — создание бизнес-приложений на основе универсальной облачной платформы — «конструктора», позволяющего минимизировать усилия разработчиков. DZ Outstaff предоставляет услуги аутстаффинга ИТ-персонала. Все четыре подразделения объединены проектным офисом DZ Systems, позволяющим координировать их усилия, добиваться синергетического эффекта, реализовывать проекты любого масштаба и степени сложности.
Университет Иннополис специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники. Российский ИТ-вуз сотрудничает с 52 академическим партнёрами из 26 стран и со 194 индустриальными партнёрам. В портфеле университета — 71 научно-исследовательский проект для компаний Газпром, Аэрофлот, Камаз, Норникель, Россети, РусГидро, Северсталь и др. В Университете Иннополис учатся 882 студента из 44 стран, занимаются исследованиями и преподают 263 научно-педагогических сотрудника из 24 стран с опытом работы в ведущих зарубежных вузах и компаниях мировой ИТ-индустрии: Samsung Research, Intel, Magna International, ООН. На базе Университета Иннополис создана единая площадка для повышения квалификации преподавателей высшего и среднего профессионального образования по приоритетным отраслям экономики — Опорный образовательный центр (ООЦ). К консорциуму ООЦ присоединились более 500 партнёров — российских вузов и ссузов из 79 регионов РФ. За 4 года консорциум обучит цифровым компетенциям 80 тысяч российских преподавателей и методистов — в 2021 году число слушателей достигнет 16 тысяч человек.
