В докладе будет представлен один из проектов по коллективной разработке программного обеспечения в рамках Плана импортозамещения ПО Минкомсвязи, утвержденного в апреле 2015 года. Проект нацелен на укрепление технологической независимости России в области операционных систем корпоративного класса и предполагает создание полноценной корпоративной платформы на базе отечественных серверных и клиентских операционных систем (ОС) для обеспечения их массового использования на российских предприятиях и организациях различного масштаба. Также важное внимание в проекте уделяется обеспечению возможности легкой миграции на отечественные ОС существующих корпоративных инфраструктур, построенных на закрытых западных технологиях, усилению национальной компетенции в области разработки ОС, повышению степени влияния российских разработчиков в открытых международных проектах. Проект подразумевает участие более 20-ти компаний во главе с лидерами разработки, основанных на Linux ОС в России, имеющих полноценные локальные инфраструктуры разработки и сборки дистрибутивов ОС, позволяющие достигать высокого уровня технологической независимости и санкционной устойчивости. В процессе работы возможно подключение новых участников для консолидации отечественной экспертизы по данной тематике. Будут представлены основные подпроекты и принципы работы организуемого консорциума.

В докладе рассматриваются отличия операционных систем реального времени (ОСРВ) от операционных систем общего назначения, требования, предъвляемые к ОСРВ, и текущие успехи отечественных разработчиков ОСРВ. С одной стороны, к ОСРВ предъявляют целый набор дополнительных требований по предсказуемости работы, по безопасности, надежности и т. д. С другой стороны, ОСРВ, в основном, решают задачи управления конкретными системами с применением ограниченной номенклатуры аппаратного обеспечения при помощи ограниченного набора прикладного программного обеспечения. В результате реализация ОСРВ с нуля требует относительно небольших усилий, оцениваемых в десятки человеко-лет, что подтверждают примеры отечественных разработчиков. Но только работающей ОСРВ оказывается недостаточно. Для пользователей требуются документация, инструменты разработки, отладки, конфигурации, верификации и т. д. Сертифицирующие органы требуют пакеты сертификационных документов, включающих требования верхнего и нижнего уровня, тесты, результаты измерений покрытия по коду, анализа свойств безопасности и т. д. В заключении доклада формулируются основные вопросы к разработчикам ОСРВ с точки зрения потенциальных пользователей.

Операционная система ReactOS (далее – ОС ReactOS) – это современная операционная система с открытым исходным кодом, предназначенная для работы  с процессорами  семейства x86 и  программным обеспечением, оборудованием и драйверами, созданными для семейства операционных систем Windows NT 5.0. ОС ReactOS создаётся  с 1998 года слабо-организованной командой разработчиков по всему миру тем методом, который в настоящее время называется crowdsourcing [1] и используется множеством других проектов с открытым исходным кодом. С 2004 разработка проходит под руководством некоммерческих организаций Фонд «Реактос» (Российская Федерация) и ReactOS e.V. (Германия). Отличительной особенностью ОС ReactOS является совместимость с программным обеспечением, использующем интерфейс WinAPI, а также с драйверами устройств, разработанными для семейства операционных систем Microsoft Windows NT. Это достигается путём использования архитектуры ядра ОС ReactOS, подобной архитектуре ядра Windows, а также изучения недокументированных и не стандартизованных программных интерфейсов. Для разработки ОС ReactOS применяются различные методы, подходы и модели. Исторически одними из основных стали  методы «чистой» обратной разработки и «экстремального программирования», совмещенные с использованием итерационного подхода.

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

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

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

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

Операционная система Эльбрус построена на основе ОС Linux c отечественной разработкой архитектурно зависимой части ядра, компилятора, glibc, binutils и других основных компонент. ОС Эльбрус с единым интерфейсом работает на архитектурах Эльбрус, E90S (система команд Sparc V9) и х86. Дистрибутив ОС Эльбрус построен на базе ядра 3.10 и обеспечивает возможность работы в различных режимах: сервера, рабочей станции, жёсткого реального времени (РВ). Реализация возможности работы систем жесткого реального времени основана на изменениях, определенных в linux_rt_patch и mcst_rt_patch. Архитектурные особенности Эльбрус позволяют реализовать защищенный режим вычислений. Средства защиты ОС Эльбрус позволили сертифицировать ОС Эльбрус по 2-му уровню защиты от НСД (несанкционированный доступ).

Проект OpenVZ, которому в этом году исполняется 10 лет, это реализация легковесных контейнеров для Linux. Это то, что часто называют LXC или просто «контейнеры». В докладе я расскажу о семи проблемах контейнеров и путях их решения.

Можно ли отправить Linux процесс в будущее? Как перенести мою сессию с ноутбука на сервер, но так, чтобы она ничего не заметила? Не могу сохранится в Angry Birds посередине уровня, что делать? Начальник требует перезапустить повисший сервис, и как теперь отлаживаться?

В докладе будет дан обзор распространяемой СУБД PostgreSQL. Будет рассказано об истории ее развития, основных особенностях и отличиях от других СУБД, а также — почему ее считают «наиболее совершенной из свободно распространяемых СУБД». Особое внимание будет уделено российскому вкладу в разработку PostgreSQL — тем замечательным результатам, которых удалось добиться нашим соотечественникам. Будут рассмотрены вопросы эксплуатации PostgreSQL в. промышленных системах, вопросы надежности и безопасности, технической поддержки и развития этой СУБД.
Также мы рассмотрим структуру сообщества PostgreSQL, планы по развитию, в особенности — текущие планы и последние достижения бурно растущей российской команды разработчиков.

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

В сообщении рассказывается об обеспечении непрерывного жизненного цикла операционной системы специального назначения «Astra Linux Special Edition», предназначенной для решения широкого круга задач по обработке информации ограниченного доступа, разрабатываемой на основе свободного программного обеспечения и сертифицированной во всех трех российских государственных системах сертификации по требованиям защиты информации — ФСБ России, ФСТЭК России и Минобороны России.

На кафедре системного программирования СПбГУ много лет ведутся исследования по созданию операционных систем реального времени. Отправной посылкой исследований явилась необходимость создания операционных систем для различных применений с возможностью конфигурации версии ОС под конкретное применение: различные файловые системы, различные алгоритмы планирования, наличие или отсутствие динамически создаваемых процессов, различные аппаратные платформы и так далее. В результате получилось семейство операционных систем Embox, на основании которого можно сравнительно легко сконфигурировать операционную систему реального времени с требуемыми характеристиками. Как и все разработки кафедры системного программирования, Embox — проект с открытым исходным кодом по лицензии BSD. Однако, на его основе можно создавать проприетарные заказные разработки, в частности, операционная система Заря-РВ прошла государственные испытания, а ее документация получила литеру О1.

Спецификация ARINC 653 определяет интерфейс (APEX — APplication EXecutive) прикладного программного обеспечения с операционной системой (ОС) на основе концепции, обеспечивающей временное и пространственное разделение ресурсов. Эта спецификация разрабатывалась для использования в авионике, но может применяться в системах управления другого назначения с повышенными требованиями к обеспечению безопасности.
Первая версия ARINC 653 вышла в октябре 1996 года. В дальнейшем было опубликовано несколько дополнений, последние из которых датируются декабрём 2014 года. Спецификация нашла широкое применение при разработке операционных систем реального времени как за рубежом (VxWorks 653, LynxOS-178, Integrity-178B и др.), так и в нашей стране (ОСРВ Багет 3 и др.) и фактически стала отраслевым стандартом.

ГосНИИАС является координатором отечественной программы ИМА. В рамках этой программы разработан ряд программно-аппаратных комплексов, а также поставлен вопрос о необходимости создания отечественной операционной системы реального времени (ОС РВ) для применения в авиации. В докладе рассматриваются критерии, которым должна отвечать данная ОС РВ, и рассматриваются существующие системы этого класса. Помимо этого освещаются сопутствующие вопросы, которые необходимо решать при разработке отечественной ОС РВ (освоение парадигмы унифицированных компонент, механизмы валидации и верификации).

Для программного обеспечения критически важных систем основными стандартами являются не стандарты, описывающие программный интерфейс (API), как, например, POSIX, а документы, регламентирующие процессы разработки, например DO-178B. Следование данному документу подразумевает контроль на всех стадиях жизненного цикла разработки. Для осуществления этого контроля требуется разработать довольно большой пакет документации, в том числе и для набора тестов. Но поскольку по требованиям стандарта жизненный цикл ПО должен иметь V-модель, то есть проходить модификацию на этапах проверки системы, поддержание документации в актуальном состоянии затруднено, так как она разрабатывается на естественном языке. В данном докладе рассматривается метод автоматизации и упрощения процесса разработки ПО, соответствующего стандарту DO-178B, путем применения формализованного специального языка DSL, используемого на всех этапах разработки.

В докладе рассматриваются требования к системному программному обеспечению, используемому при решении задачи разработки и эксплуатации комплексного программно-аппаратного решения по организации полноволнового моделирования и анализа распространения сейсмических волн в сложнопостроенных геологических средах с использованием запатентованного методов низкочастотного сейсмического зондирования (НСЗ) и локации микросейсм (ЛМС). Создаваемый комплекс позволяет решать практически интересные задачи для нефтегазового сектора промышленности такие как восстановления свойств геологической среды, например, наличия залежей углеводородов, или свойств источников сигналов, например, характеристик трещин, образующихся при гидроразрыве пласта. Приводятся и обсуждаются текущие достигнутые результаты, опыт использования системных программных средств, аппаратных платформ и их совместное практическое применение в высокопроизводительном программном комплексе.

На текущий момент одним из претендентов на стандарт робототехнической отрасли является операционная система ROS, разработанная в США. В контексте идущих в нашей стране инициатив по разработке отечественных операционных систем, проект по созданию РОБОТОТЕХНИЧЕСКОЙ операционной системы отечественного происхождения приобретает стратегическое значение. Робототехника может стать одной из мировых точек роста (общий рынок сервисной и промышленной робототехники через пять лет - $150 млрд. долларов США). Поэтому та система, которая станет общей для большинства роботов, может лечь в основу новой экономики, подобно тому, как Windows стала основой экономики эпохи интернета. Участники панельной дискуссии представят свои взгляды на эту перспективную тематику.

В докладе пойдет речь о том, как появились и развивались операционные системы для мобильных устройств.
— Появление первых операционных систем для мобильных устройств, предпосылки и цели.
— Как зарождались будущие лидеры iOS и Android и как они изменили рынок.
— Как Microsoft и Samsung пытаются угнаться за уходящим поездом.
— Перспективы Firefox OS, Ubuntu Touch и Sailfish OS.
— Что ждет рынок мобильных операционных систем в будущем.

Федеральной службой судебных приставов в 2012 году начат проект Гослинукс, в рамках которого в качестве основного элемента ведомственной системы был выбран и доработан Gnu/Linux-дистрибутив. В настоящее время готовится четвертый релиз типового дистрибутива, сформирован цикл доработки и сертификации ОС по требованиям безопасности информации. В докладе будут изложены особенности сертификации и распространения операционной системы, а также результаты ее внедрения в органах принудительного исполнения Российской Федерации.

В докладе будет дан обзор промышленной российской системы управления базами данных с открытым кодом «Ред База Данных», истории ее создания и планов развития. Мы рассмотрим функциональные возможности и особенности данной системы, вопросы обеспечения надежности и производительности, особенности технической поддержки. На основе опыта промышленной эксплуатации будут рассмотрены тонкости взаимодействия СУБД с операционной системой в части интеграции с системами безопасности и службами аутентификации.