Внимание! В этом году конференция частично переведена в онлайн-режим.
Полностью в онлайне пройдут три научные секции и Выставка технологий.
В РАН состоятся только мероприятия с ограниченным числом докладчиков:
Трансляция научных треков, пленарной сессии и круглых столов будет осуществляться на сайте online.isprasopen.ru (сейчас в разработке).
Для получения доступа необходимо зарегистрироваться. Ссылка на доступ будет предоставлена на указанный при регистрации e-mail.
Конференция проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) при поддержке ряда российских и зарубежных партнеров:
Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки IT-технологий и их использования в сферах образования, науки и промышленности.
Каждый год на конференцию собираются эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих IT-компаний, а также исследователи, чьи работы прошли независимое профессиональное рецензирование. Проводится также выставка технологий ИСП РАН, внедренных в различные отрасли промышленности.
Для удобства гостей и участников конференция разделена на несколько секций, которые посвящены разработке инновационных технологий в системном программировании.
Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. В частности, рассматриваются следующие темы:
Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:
К участию приглашены представители Университетской клиники МГУ, Сеченовского университета, НМХЦ им Н.И. Пирогова, ГКБ №67 им. Л.А. Ворохобова, НИИ акушерства, гинекологии и репродуктологии имени Д.О. Отта, НМИЦ Эндокринологии МЗ РФ, ФГБНУ "НИИ морфологии человека" и др.
К участию приглашены представители ФСТЭК России, а также АО "Лаборатория Касперского", компаний "ИВК", "Код безопасности", Postgres Professional, "Беллсофт", "АЙДЕКО" и др.
1 почетный профессор Университета Тулона (Франция) и научный руководитель Средиземноморского института океанографии (Mediterranean Institute of Oceanography)
1 Инженерный колледж Океанологического университета Китая, 2 ИСП РАН, 3 Корпоративная лаборатория Keppel-NUS Национального университета Сингапура
1 Инженерный колледж Океанологического университета Китая, 2 ИСП РАН
1 ИО РАН, 2 ИПМ им. М.В.Келдыша РАН, 3 МГУ, факультет ВМК
1 ИПМех РАН, 2 Институт гидромеханики НАН Украины
1 ИСП РАН, 2 Научно-исследовательский Институт Флюмен, департамент гражданской и экологической инженерии Политехнического университета Каталонии, Испания
1 ИО РАН, 2 МГУ, 3 ИСП РАН, 4 Институт гидродинамики им. М.А. Лаврентьева Сибирского отделения РАН, 5 МГУ, физический факультет
1 Казанский федеральный университет
1 ИСП РАН
1 РТУ МИРЭА
1 Исследовательский центр Samsung, Москва
1 Исследовательский центр Samsung, Москва
1 Huawei, Россия
1 ИСП РАН
1 главный научный сотрудник Microsoft Research, Редмонд, США
1 Технический университет Кайзерслаутерна, Германия, 2 ИСП РАН
1 ИСП РАН
Asperitas – платформа, предназначенная для хранения данных и совершения сложных ресурсоёмких вычислений по запросу. Дистрибутив включает в себя одноимённую облачную среду (№5921 в Едином реестре российского ПО), а также PaaS- и IaaS- оркестраторы (Michman и Clouni). В число облачных решений ИСП РАН входит также Fanlight (№6066 в Едином реестре российского ПО) – платформа для организации web-лабораторий.
https://online.isprasopen.ru/asperitas.htmlAstraVer Toolset – система дедуктивной верификации ключевых компонентов. Позволяет разрабатывать и верифицировать модели политик безопасности, а также проводить доказательство корректности компонентов на языке С. Необходимый инструмент достижения целей семейств доверия ADV_SPM и ADV_FSP, определённых в ГОСТ Р ИСО/МЭК 15408-3-2013.
https://online.isprasopen.ru/astraver-toolset.htmlBinSide – платформа обнаружения дефектов в программе методами статического анализа исполняемого кода. Необходима, когда нет доступа к исходному коду (например, при анализе закрытых библиотек).
https://online.isprasopen.ru/binside.htmlCasr – это инструмент, позволяющий автоматически формировать отчёты об аварийных завершениях, возникающих во время эксплуатации и тестирования ПО, на основе анализа coredump файлов в ОС Linux. В отчётах содержатся сведения о степени критичности аварийного завершения, а также дополнительная информация, которая помогает установить его причины.
https://online.isprasopen.ru/casr.htmlConstructivity 4D – технология для создания перспективных программных систем и сервисов, оперирующих динамическими сценами и большими массивами пространственно-временных данных. Способна проводить визуальный анализ миллионов объектов с различным геометрическим представлением и индивидуальным динамическим поведением. Внедрена в систему Synchro, предназначенную для 4D-моделирования крупных строительных объектов.
https://online.isprasopen.ru/constructivity4d.htmlИСП Crusher – программный комплекс, комбинирующий несколько методов динамического анализа. Состоит из двух инструментов: ИСП Fuzzer для проведения фаззинг-тестирования и Sydr, отвечающий за автоматическую генерацию тестов для сложных программных систем. В ближайшие 1-2 года в комплекс планируется включить ещё две технологии ИСП РАН: BinSide и Casr. ИСП Crusher позволяет построить процесс разработки в соответствии с ГОСТ Р 56939-2016 и «Методикой выявления уязвимостей и недекларированных возможностей в программном обеспечении» ФСТЭК России.
https://online.isprasopen.ru/crusher.htmlDedoc – универсальная открытая система для приведения документов к единому формату. Автоматически извлекает логическую структуру, таблицы и метаинформацию. Содержимое документов представляется в виде дерева, кодирующего заголовки и списки различного уровня вложенности. Dedoc может встраиваться как отдельный компонент в системы анализа структуры и содержимого документов.
https://online.isprasopen.ru/dedoc.htmlDigiTEF – программный комплекс на базе OpenFOAM и утилит других открытых проектов, а также уникальных модулей и библиотек ИСП РАН. Платформа позволяет решать прикладные задачи газовой динамики, аэродинамики, гидродинамики и акустики. Предназначена для создания сложных цифровых моделей промышленных устройств. Включена в Единый реестр российского ПО (№ 5377).
https://online.isprasopen.ru/digitef.htmlKlever – система верификации моделей, которые генерируются на основе исходного кода крупных программных систем, разработанных на языке программирования Си. Klever позволяет автоматизированным образом проверять различные требования безопасности и надёжности.
https://online.isprasopen.ru/klever.htmlLingvodoc – система для совместной многопользовательской документации исчезающих языков, создания многослойных словарей и научной работы с полученными звуковыми и текстовыми данными. Совместный проект с Институтом языкознания РАН и Томским государственным университетом. Разрабатывается с 2012 года. Сайт – lingvodoc.ispras.ru.
https://online.isprasopen.ru/lingvodoc.htmlMASIW – набор инструментов для разработки программно-аппаратных комплексов ответственных систем в сфере авиации, медицины и др. Создан для инженеров-конструкторов комплексов бортового оборудования для авиационных судов, разрабатываемого с применением интегрированной модульной авионики (ИМА). Оперативно адаптируется под другие предметные области.
https://online.isprasopen.ru/masiw.htmlMicroTESK – реконфигурируемая и расширяемая среда генерации тестовых программ для функциональной верификации микропроцессоров. Позволяет автоматически конструировать генераторы тестовых программ для целевых архитектур микропроцессоров на основе их формальных спецификаций. MicroTESK применим для широкого спектра архитектур (RISC, CISC, VLIW, DSP). Поддерживает онлайн-генерацию тестовых программ.
https://online.isprasopen.ru/microtesk.htmlProtosphere – система глубокого анализа сетевого трафика (DPI). Может встраиваться как компонент в системы мониторинга, классификации, защиты от вторжений и утечек информации. Регистрирует несоответствия между реализацией протокола и фактическим трафиком. Позволяет быстро добавлять поддержку новых (в том числе закрытых) протоколов благодаря универсальности внутреннего представления.
https://online.isprasopen.ru/protosphere.htmlПлатформа ИСП РАН для анализа программ построена на базе открытого эмулятора QEMU, который используется при необходимости кроссплатформенной разработки. Поддерживает механизмы обратной отладки и интроспекции, а также режим полносистемной эмуляции для отладки низкоуровневого ПО.
https://online.isprasopen.ru/qemu.htmlSciNoon – система совместного исследовательского поиска научных статей. Позволяет группе исследователей быстро погружаться в новую предметную область и находить ответы на свои вопросы, а затем отслеживать новые публикации по изучаемой тематике.
https://online.isprasopen.ru/scinoon.htmlSvace – необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 50 классов критических ошибок в исходном коде. Поддерживает языки C, C++, C#, Java; Kotlin и Go – в предварительной версии. Включён в Единый реестр российского ПО (№4047).
https://online.isprasopen.ru/svace.htmlTexterra – масштабируемая платформа для извлечения семантики из текста. Базовый комплекс технологий для создания многофункциональных прикладных приложений. Анализирует тексты с помощью выделения концептов. Включена в Единый реестр российского ПО (№4048).
https://online.isprasopen.ru/texterra.htmlИСП Обфускатор – комплекс технологий по противодействию массовой эксплуатации уязвимостей, возникающих в результате ошибок или закладок. Если злоумышленник смог атаковать одно из устройств с одинаковым ПО, остальные останутся под защитой благодаря изменениям, внесённым в код.
https://online.isprasopen.ru/isp-obfuscator.htmlТРАЛ – уникальный промышленный инструмент для анализа свойств бинарного кода. Позволяет работать с кодом различных целевых процессорных архитектур. Не требует наличия отладочной информации и исходных кодов. Применим для анализа всего программного стека от загрузчика до прикладного ПО. Включён в Единый реестр российского ПО (№5323).
Демонстрация технологии проводится на отдельной площадке, для участия просим направлять заявки на адрес trawl@ispras.ru, указав полное ФИО и контактный телефон.
https://online.isprasopen.ru/tral.htmlКомпания занимается разработкой и внедрением мобильной операционной системы Аврора и платформы управления мобильными устройствами Аврора Центр.
ISX - эмулятор архитектуры мэйнфрейм компьютеров IBM для использования операционных систем и приложений на различных архитектурных платформах.
1 Руководитель службы "Яндекс"
1 Исследовательский центр Inria Sophia Antipolis-Méditerranée
1 ИСП РАН, 2 Российский Исследовательский Институт Huawei
1 ЗАО "ЕС-Лизинг"
1 СибГУТИ, 2 NVIDIA Corporation
1 СКФУ, 2 ИСП РАН, 3 Исследовательский центр CICESE Энсенада, Мексика, 4 СКФУ, 5 Южно-Уральский государственный университет
1 ИСП РАН
1 ФГАОУ ВО КФУ
1 ИДСТУ СО РАН, 2 ИГУ
1 Южно-Уральский государственный университет, 2 ИСП РАН, 3 Исследовательский центр CICESE Энсенада, Мексика, 4 СКФУ, 5 ИВМиМГ СО РАН, 6 Республиканский университет, Уругвай
1 ИСП РАН
1 ИСП РАН, 2 МГТУ им. Н.Э.Баумана
1 НИЦ "Курчатовский институт"
1 СПбПУ
1 ИСП РАН, 2 Технион, Израиль
1 ИСП РАН, 2 МФТИ
1 ИПМех РАН
1 МФТИ
1 ИСП РАН
1 СПБГУ, кафедра гидроаэродинамики
1 ИСП РАН
1 ВНИИФТРИ
1 ИСП РАН
1 МГУ, факультет ВМК
1 ИСП РАН
1 STR-Soft
1 Центр им. Гельмгольца Дрезден-Россендорф
1 МГТУ им. Н.Э.Баумана
1 ИСП РАН
1 ИСП РАН
1 ИСП РАН
1 Академия ФСО России
1 ИСП РАН
1 Лаборатория системного программирования РАУ, Ереван, 2 ИСП РАН
1 ИСП РАН
1 ИСП РАН
1 Академия ФСО, 2 Министерство обороны РФ, 3 ИСП РАН
1 ИСП РАН
1 ИСП РАН
1 ИСП РАН
1 ИСП РАН
1 КГЭУ, 2 ИСП РАН
1 ИПМех РАН
1 ИСП РАН
1 ИжГТУ имени М. Т. Калашникова, 2 UdFRC UB RAS
1 ИСП РАН
1 ИПМ им.М.В.Келдыша РАН
1 ИСП РАН
1 ИПМ им.М.В.Келдыша РАН
1 Институт Океанологии им. П.П. Ширшова, 2 ИСП РАН, 3 Институт гидродинамики им. М.А. Лаврентьева Сибирского отделения РАН
1 ИБРАЭ РАН
1 ИСП РАН
Для выступления на Открытой конференции ИСП РАН им. В.П. Иванникова необходимо прислать статью или тезисы доклада, отражающие результаты проделанной работы. На рассмотрение принимаются оригинальные материалы на русском и английском языках, ранее не представленные на других конференциях. Статьи и тезисы подаются через интернет-систему EasyChair.
Все представленные статьи проходят двойное слепое рецензирование. При подаче материала необходимо исключить любую информацию об авторах. Заголовок не должен содержать их имен, адресов электронной почты и названий организаций. В тексте нужно убрать все прямые ссылки на предыдущие работы авторов.
Оформление статей должно быть выполнено в одном из двух форматов (на выбор авторов):
1. Статьи на русском языке объемом 8-20 страниц оформляются в соответствии с требованиями к материалам для сборника «Труды ИСП РАН».
2. Статьи на английском языке объемом 3-7 страниц оформляются в соответствии с шаблоном IEEE для трудов конференций или в соответствии с требованиями сборника «Труды ИСП РАН».
Работы, получившие положительные отзывы экспертов и представленные на конференции одним из авторов, публикуются в одном из следующих сборников:
Окончательное решение о выборе издания для размещения публикации принимает Программный комитет Открытой конференции. Изначальный формат оформления при этом не учитывается. Авторы принятой статьи должны подготовить ее окончательную версию в соответствующем формате с учетом всех замечаний экспертов.
Заочное участие в конференции не допускается.
Тезисы подаются на рецензирование в том случае, если планируется сделать доклад о начальных или промежуточных результатах незавершенного научного исследования, о ходе реализации проекта или об опыте внедрения технологии.
Тезисы необходимо представить на русском языке. Требуемый объем – 3 страницы, оформление – в соответствии с требованиями сборника «Труды ИСП РАН».
Авторы, получившие положительные отзывы, смогут выступить на Открытой конференции. Публикация тезисов не предусмотрена.
В случае возникновения дополнительных вопросов, пожалуйста, напишите письмо на адрес электронной почты scsec@ispras.ru.
По всем вопросам, связанным с участием, можно обращаться по e-mail
Москва, Ленинский проспект, дом 32А (подъезд 1, этаж 3, Синий, Зеленый и Бежевый залы). Место может быть изменено в зависимости от эпидемиологической ситуации; возможно проведение конференции в онлайн-режиме.
Конференция проводится с 9:00 до 18:00. Для гостей и участников предусмотрены кофе-брейки и обед.