В Москве состоялась Вторая открытая конференция ИСП им. В.П. Иванникова РАН (ISPRAS Open 2017). В течение двух дней в главном здании Российской академии наук проводилась серия тематических мероприятий, сочетавших в себе доклады и презентации, посвященные фундаментальным и прикладным исследованиям. Большое внимание в выступлениях уделялось внедрению разработок и технологий в ИТ-индустрию. Цели конференции – развитие экосистемы создания инноваций, наращивание кадрового потенциала в сфере системного программирования и формирование спроса на перспективные технологии. Среди основных тем обсуждения на ISPRAS Open 2017 эксперты отмечали безопасность программного кода, Интернет вещей и технологии анализа массивов данных.
Институт системного программирования (ИСП) РАН, носящий имя своего основателя Виктора Петровича Иванникова, – центр компетенций в данной области и научная школа. О вкладе основателя института в становление ИСП и ценности наследия ученого говорил в своем выступлении на конференции профессор Деннис Цикридзис, президент Ученого совета Греческого фонда исследований и инноваций. Российский и греческий ученые были знакомы на протяжении нескольких десятилетий. В личности В.П. Иванникова – одного из первых разработчиков операционных систем в нашей стране – воплотились лучшие качества ученого, наставника и лидера, что позволило ему вместе с единомышленниками заложить фундамент кузницы кадров и центра, на базе которого разрабатываются технологии мирового уровня.
Прозвучавшая в начале конференции речь профессора Денниса Цикридзиса, который обычно выступает с докладами на технические и технологические темы, была очень эмоциональной. Символом вклада основателя института системного программирования в науку и индустрию по праву можно считать корабль, которому предстоит большое плавание в океане инноваций.
В перерыве между заседаниями конференции директор ИСП им. В.П. Иванникова РАН Арутюн Аветисян в разговоре с корреспондентом Connect отметил эмоциональный накал выступления, посвященного основателю института. «Рассказывая о человеке, ученом и друге, Деннис Цикридзис отмечал преимущества идей и моделей, заложенных Виктором Петровичем в основание ИСП РАН. Сочетание образования, инноваций, фундаментальных и прикладных исследований, выполняемых на основе контрактов, дает эффект. Этим определяется жизнеспособность института», – считает руководитель ИСП РАН.
О появлении действительно инновационного продукта или технологии можно судить только после получения обратной связи от индустрии. В ИСП РАН делают ставку на проектные внедрения результатов исследований в компаниях-партнерах. Обучение студентов и аспирантов предусматривает обязательное их участие в промышленных проектах института, где используются разработки ИСП РАН. Фундаментальные исследования рассматриваются как источник идей для новых проектов с бизнес-партнерами и заказчиками. Одним из форматов сотрудничества стали совместные лаборатории, позволяющие наращивать компетенции по новым направлениям системного программирования.
Что касается направлений исследований, то одним из динамично развивающихся направлений является безопасность Интернета вещей. С ключевым докладом на эту тему выступил Асаф Шустер, профессор факультета компьютерных наук Техниона (Израильского технологического института). Известный эксперт в области средств защиты от киберугроз в эпоху Интернета вещей акцентировал внимание на вызовах новой эпохи, рассказал о мерах, которые необходимо принимать, и нерешенных задачах при реализации системного подхода в данной области. С позиций сегодняшнего дня тема безопасности Интернета вещей кажется настолько глобальной, что оценить ее реальный масштаб можно будет только со временем.
Уязвимость Интернета вещей требует проведения непрерывного мониторинга беспроводных соединений, разработки системы защиты. Неотъемлемыми ее компонентами являются дешевые сенсоры, коммуникационные и вычислительные мощности, средства хранения огромного количества данных, которые стекаются в облако – мозговой центр. Обработка данных позволит выявлять аномалии в поведении устройств и прогнозировать атаки по мере обнаружения зараженных или фейковых устройств. Асаф Шустер не стал посвящать в детали проектируемой системы, которая уже разворачивается, и ее многослойных программных инструментов. «Цель моей презентации – убедить вас в том, что внедрение такой системы – большая инновация, и сообщить о том, какие разработки потребуются для масштабирования системы», – сказал эксперт. Сенсоры размещаются по всему миру. Эффективное управление создаваемой системой предполагает умение выявлять фальшивые предупреждения, количество которых может составлять миллионы в день. Система, которой планируется охватить огромную территорию, имеет ряд ограничений по объему накапливаемых данных. Чтобы уменьшить объем коммуникаций в распределенной и масштабируемой системе, нужно систематизировать происходящие события (интересные и неинтересные, важные и менее важные). Развернутый недавно сегмент системы, в разработке которой участвует Асаф Шустер, позволяет осуществлять мониторинг 1,9 млн устройств, подключенных к гостевым и корпоративным сетям. Работу по развитию такой инфраструктуры докладчик сравнил с очками, позволяющими увидеть невидимый и пока непознанный мир Интернета вещей.
Решения для безопасности Интернета вещей – одно из направлений приложения усилий сотрудников ИСП РАН, участвующих в международном проекте Tizen. Открытую платформу развивает Samsung. В институте создают инструменты анализа кода на предмет выявления уязвимостей. Эти технологии востребованы в отечественных компаниях. Дальнейшие разработки новых инструментов и методик зависят от реализации на российском рынке крупных проектов.
Еще одна тема, связанная с Интернетом вещей, была раскрыта в докладе профессора Яэль Янив, доцента кафедры биомедицинской инженерии Техниона на примере ИТ-устройств для предсказания аритмии и сердечных заболеваний. Новые возможности появляются у врачей благодаря применению медицинских устройств, которые могут обмениваться информацией, взаимодействовать и организовываться в систему, способную сигнализировать об угрозе опасных для жизни фибрилляций. Инструменты раннего предсказания такого состояний у пациента разрабатывают в возглавляемой докладчиком лаборатории биоэлектрических и биоэнергетических систем.
О будущем отрасли системного программирования говорил Костас Стасопулос, вице-президент департамента IEEE по делам членов ИТ-сообщества профессионалов в области информационных технологий, электроники и электротехники. В частности, рассказывалось о международных программах поддержки студентов. С этого года конференция ISP RAS Open получила международный статус – вошла в перечень научных мероприятий, поддержку которым оказывает IEEE.
В дни проведения конференции ISPRAS Open 2017 состоялся ряд мастер-классов, организованных совместно с компаниями NVIDIA и Samsung Electronics. На специальном семинаре рассматривались вопросы моделирования и верификации политик безопасности управления доступом в операционных системах, которые сертифицируются по требованиям, соответствующим высоким уровням классов защиты. В выступлениях рассказывалось о процессах разработки, формализации и верификации модели политики безопасности и ключевых механизмов системы защиты операционной системы. Процесс верификации формальной модели управления доступом был разработан ИСП РАН по инициативе компании АО «НПО РусБИТех» в рамках научно-исследовательской работы, начавшейся в 2013 г. В текущем году результаты НИР использовались для прохождения сертификационных испытаний ОС Astra Linux на соответствие новым требованиям безопасности информации к операционным системам, утвержденным ФСТЭК России в 2016 г.
