Открытая конференция ИСП РАН
им. В.П. Иванникова
Москва, 10-11 декабря 2020 г.
Оперативный канал конференции. Подключайтесь для получения наиболее актуальных новостей по проведению мероприятия.
В этом году конференция посвящена 80-летию со дня рождения основателя и первого директора ИСП РАН − академика В.П. Иванникова.
Четверг, 10 декабря 2020 года
Пленарная сессия
К участию приглашены: руководство РАН, члены Правительства РФ, а также представители отраслевых НИИ, вузов, международных научно-образовательных организаций и бизнес-партнёров ИСП РАН.
"ИСП РАН: 80 лет со дня рождения В.П. Иванникова"
Круглый стол по цифровой медицине
К участию приглашены представители Университетской клиники МГУ, Сеченовского университета, НМХЦ им Н.И. Пирогова, ГКБ №67 им. Л.А. Ворохобова, НИИ акушерства, гинекологии и репродуктологии имени Д.О. Отта, НМИЦ Эндокринологии МЗ РФ, ФГБНУ "НИИ морфологии человека" и др.
Виртуальная выставка технологий
Показать все технологии
С 11:00 до 16:00 вы можете посмотреть автопрезентацию любой технологии и оставить свои вопросы. Во время интерактива ведущий на них ответит.
Asperitas и другие облачные решения ИСП РАН
Asperitas – платформа, предназначенная для хранения данных и совершения сложных ресурсоёмких вычислений по запросу. Дистрибутив включает в себя одноимённую облачную среду (№5921 в Едином реестре российского ПО), а также PaaS- и IaaS- оркестраторы (Michman и Clouni). В число облачных решений ИСП РАН входит также Fanlight (№6066 в Едином реестре российского ПО) – платформа для организации web-лабораторий.
Система верификации AstraVer Toolset
AstraVer Toolset – система дедуктивной верификации ключевых компонентов. Позволяет разрабатывать и верифицировать модели политик безопасности, а также проводить доказательство корректности компонентов на языке С. Необходимый инструмент достижения целей семейств доверия ADV_SPM и ADV_FSP, определённых в ГОСТ Р ИСО/МЭК 15408-3-2013.
BinSide: статический анализатор бинарного кода
BinSide – платформа обнаружения дефектов в программе методами статического анализа исполняемого кода. Необходима, когда нет доступа к исходному коду (например, при анализе закрытых библиотек).
Casr: инструмент формирования отчётов об ошибках
Casr – это инструмент, позволяющий автоматически формировать отчёты об аварийных завершениях, возникающих во время эксплуатации и тестирования ПО, на основе анализа coredump файлов в ОС Linux. В отчётах содержатся сведения о степени критичности аварийного завершения, а также дополнительная информация, которая помогает установить его причины.
Constructivity 4D: Технология индексирования, поиска и анализа больших пространственно-временных данных
Constructivity 4D – технология для создания перспективных программных систем и сервисов, оперирующих динамическими сценами и большими массивами пространственно-временных данных. Способна проводить визуальный анализ миллионов объектов с различным геометрическим представлением и индивидуальным динамическим поведением. Внедрена в систему Synchro, предназначенную для 4D-моделирования крупных строительных объектов.
ИСП Crusher: комплекс динамического анализа программ
ИСП Crusher – программный комплекс, комбинирующий несколько методов динамического анализа. Состоит из двух инструментов: ИСП Fuzzer для проведения фаззинг-тестирования и Sydr, отвечающий за автоматическую генерацию тестов для сложных программных систем. В ближайшие 1-2 года в комплекс планируется включить ещё две технологии ИСП РАН: BinSide и Casr. ИСП Crusher позволяет построить процесс разработки в соответствии с ГОСТ Р 56939-2016 и «Методикой выявления уязвимостей и недекларированных возможностей в программном обеспечении» ФСТЭК России.
Dedoc: система извлечения структуры документов
Dedoc – универсальная открытая система для приведения документов к единому формату. Автоматически извлекает логическую структуру, таблицы и метаинформацию. Содержимое документов представляется в виде дерева, кодирующего заголовки и списки различного уровня вложенности. Dedoc может встраиваться как отдельный компонент в системы анализа структуры и содержимого документов.
Платформа для создания цифровых двойников DigiTEF
DigiTEF – программный комплекс на базе OpenFOAM и утилит других открытых проектов, а также уникальных модулей и библиотек ИСП РАН. Платформа позволяет решать прикладные задачи газовой динамики, аэродинамики, гидродинамики и акустики. Предназначена для создания сложных цифровых моделей промышленных устройств. Включена в Единый реестр российского ПО (№ 5377).
Klever: система верификации моделей крупных программных систем
Klever – система верификации моделей, которые генерируются на основе исходного кода крупных программных систем, разработанных на языке программирования Си. Klever позволяет автоматизированным образом проверять различные требования безопасности и надёжности.
Lingvodoc: виртуальная лаборатория для документации исчезающих языков
Lingvodoc – система для совместной многопользовательской документации исчезающих языков, создания многослойных словарей и научной работы с полученными звуковыми и текстовыми данными. Совместный проект с Институтом языкознания РАН и Томским государственным университетом. Разрабатывается с 2012 года. Сайт – lingvodoc.ispras.ru.
MASIW: поддержка проектирования ответственных систем
MASIW – набор инструментов для разработки программно-аппаратных комплексов ответственных систем в сфере авиации, медицины и др. Создан для инженеров-конструкторов комплексов бортового оборудования для авиационных судов, разрабатываемого с применением интегрированной модульной авионики (ИМА). Оперативно адаптируется под другие предметные области.
Генератор тестовых программ MicroTESK
MicroTESK – реконфигурируемая и расширяемая среда генерации тестовых программ для функциональной верификации микропроцессоров. Позволяет автоматически конструировать генераторы тестовых программ для целевых архитектур микропроцессоров на основе их формальных спецификаций. MicroTESK применим для широкого спектра архитектур (RISC, CISC, VLIW, DSP). Поддерживает онлайн-генерацию тестовых программ.
Система анализа сетевого трафика Protosphere
Protosphere – система глубокого анализа сетевого трафика (DPI). Может встраиваться как компонент в системы мониторинга, классификации, защиты от вторжений и утечек информации. Регистрирует несоответствия между реализацией протокола и фактическим трафиком. Позволяет быстро добавлять поддержку новых (в том числе закрытых) протоколов благодаря универсальности внутреннего представления.
Платформа для анализа программ на основе эмулятора QEMU
Платформа ИСП РАН для анализа программ построена на базе открытого эмулятора QEMU, который используется при необходимости кроссплатформенной разработки. Поддерживает механизмы обратной отладки и интроспекции, а также режим полносистемной эмуляции для отладки низкоуровневого ПО.
Система исследовательского поиска SciNoon
SciNoon – система совместного исследовательского поиска научных статей. Позволяет группе исследователей быстро погружаться в новую предметную область и находить ответы на свои вопросы, а затем отслеживать новые публикации по изучаемой тематике.
Статический анализатор SVACE
Svace – необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 50 классов критических ошибок в исходном коде. Поддерживает языки C, C++, C#, Java; Kotlin и Go – в предварительной версии. Включён в Единый реестр российского ПО (№4047).
Базовый семантический анализатор Texterra
Texterra – масштабируемая платформа для извлечения семантики из текста. Базовый комплекс технологий для создания многофункциональных прикладных приложений. Анализирует тексты с помощью выделения концептов. Включена в Единый реестр российского ПО (№4048).
ИСП Обфускатор
ИСП Обфускатор – комплекс технологий по противодействию массовой эксплуатации уязвимостей, возникающих в результате ошибок или закладок. Если злоумышленник смог атаковать одно из устройств с одинаковым ПО, остальные останутся под защитой благодаря изменениям, внесённым в код.
ТРАЛ: среда анализа бинарного кода
ТРАЛ – уникальный промышленный инструмент для анализа свойств бинарного кода. Позволяет работать с кодом различных целевых процессорных архитектур. Не требует наличия отладочной информации и исходных кодов. Применим для анализа всего программного стека от загрузчика до прикладного ПО. Включён в Единый реестр российского ПО (№5323).
Демонстрация технологии проводится на отдельной площадке, для участия просим направлять заявки на адрес trawl@ispras.ru, указав полное ФИО и контактный телефон.
Открытая мобильная платформа
Компания занимается разработкой и внедрением мобильной операционной системы Аврора и платформы управления мобильными устройствами Аврора Центр.
Назначение и функциональные возможности эмулятора ISX
ISX - эмулятор архитектуры мэйнфрейм компьютеров IBM для использования операционных систем и приложений на различных архитектурных платформах.
Решение задач механики сплошных сред с использованием СПО
Показать все доклады секции
Работа секции начнётся в ZOOM с 13:00.
Филипп Франье1
1 почетный профессор Университета Тулона (Франция) и научный руководитель Средиземноморского института океанографии (Mediterranean Institute of Oceanography)
"Исследование процессов диссипации энергии на поверхности океана"
Бо Янг, PhD1, Кинь Жанг, PhD1 Бингчен Лианг, PhD1, Cинь Лю, PhD1, Менханг Ку1, Матвей Крапошин, к.ф.-м.н.2, Эрван Бертевас, PhD3
1 Инженерный колледж Океанологического университета Китая, 2 ИСП РАН, 3 Корпоративная лаборатория Keppel-NUS Национального университета Сингапура
"Численное моделирование взаимодействия взвеси и движущейся платформы на основе модели потока дрейфа"
Тяньюань Ван, Dr.-Ing.1, Хонгда Ши, PhD1, Цинь Чжан, PhD1, Бо Янг1, Синь Лю PhD1, Матвей Крапошин, к.ф.-м.н.2
1 Инженерный колледж Океанологического университета Китая, 2 ИСП РАН
"Исследование следа канального винта методами POD и DMD"
Перерыв
Константин Беляев, д.ф.-м.н.1, Андрей Кулешов, д.ф.-м.н.2, Илья Смирнов3
1 ИО РАН, 2 ИПМ им. М.В.Келдыша РАН, 3 МГУ, факультет ВМК
"Пространственное разложение ковариационной функции в процессе ассимиляции данных методом обобщенного фильтра Калмана"
Юлий Чашечкин, д.ф.-м.н.1, Ярослав Загуменный, к.ф.-м.н.2
1 ИПМех РАН, 2 Институт гидромеханики НАН Украины
"Численное и экспериментальное исследование потока вблизи наклонной пластины"
Сергей Стрижак, к.т.н.1, Джексон Тельес-Альварес, PhD2
1 ИСП РАН, 2 Научно-исследовательский Институт Флюмен, департамент гражданской и экологической инженерии Политехнического университета Каталонии, Испания
"Мультифрактальный анализ геофизических потоков. Памяти проф. Хосе Мануэля Редондо"
Кофе-брейк
Ильяс Сибгатуллин, к.ф.-м.н.1, Степан Елистратов2, Кирилл Ватутин3, Евгений Ерманюк, д.ф.-м.н4, Евгений Михайлов5
1 ИО РАН, 2 МГУ, 3 ИСП РАН, 4 Институт гидродинамики им. М.А. Лаврентьева Сибирского отделения РАН, 5 МГУ, физический факультет
"Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов"
Артем Нуриев, к.ф.-м.н.1
1 Казанский федеральный университет
"Трехмерное численное моделирование гидродинамики около колеблющихся балок"
Технологии анализа, моделирования и трансформации программ
Показать все доклады секции
Работа секции начнётся в ZOOM с 13:00.
Алексей Бородин, к.ф.-м.н.1, Ирина Дудина, к.ф.-м.н.1
1 ИСП РАН
"Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения"
Пётр Советов1
1 РТУ МИРЭА
"Разработка компиляторов предметно-ориентированных языков для спецпроцессоров"
Александра Сорока1
1 Исследовательский центр Samsung, Москва
"Подбор оптимизаций Clang для уменьшения размера бинарного кода с помощью машинного обучения"
Вячеслав Баринов1, Михаил Кашкаров1, Андрей Казмин1
1 Исследовательский центр Samsung, Москва
"Внедрение компилятором водяных знаков в бинарный код для обеспечения бинарной совместимости в дистрибутивах GNU/Linux"
Петр Привалов11, Вероника Буткевич1, Александр Герасимов, к.ф.-м.н., Сергей Владимиров1, Анна Горелова1, Наталья Чернова1
1 Huawei, Россия
"Метод обеспечения качества автоматических анализаторов"
Рафаэль Садыков1, Михаил Мандрыкин, к.ф.-м.н.2
1 ИСП РАН
"Формально верифицированная полная стратегия инстанциации квантификаторов для теории ограниченной линейной целочисленной арифметики"
Кофе-брейк
Николай Бьорнер1
1 главный научный сотрудник Microsoft Research, Редмонд, США
Путешествуя по вселенным теорий решателей Z3
Марвин Хаузер1, Виталий Чепцов2
1 Технический университет Кайзерслаутерна, Германия, 2 ИСП РАН
"Обеспечение безопасности загрузчика образов EDK II"
Сергей Поляков1, Алексей Бородин, к.ф.-м.н.1
1 ИСП РАН
"Обнаружение дефекта взаимной блокировки с помощью статического анализа"
Пятница, 11 декабря 2020
Решение задач механики сплошных сред с использованием СПО: стендовая сессия
Показать стендовые сессии
С 11:40 до 12:00 представление докладов.
Решение задач механики сплошных сред с использованием СПО
Показать все доклады секции
Работа секции начнётся в ZOOM с 10:00.
Александр Георгиевич Петров, д.ф.-м.н., проф.1
1 ИПМех РАН
"О сверхсходящихся численных схемах метода граничных элементов"
Игорь Борисович Петров, д.ф.-м.н., член-корр. РАН, проф., зав. кафедрой1
1 МФТИ
"Проблемы исследования Арктики"
Представление докладов стендовой сессии
Виктория Корчагова1
1 ИСП РАН
"О реализации численных схем на основе разрывного метода Галеркина для решения газодинамических задач средствами открытого программного обеспечения"
Анатолий Рябинин1, Александр Кузьмин1
1 СПБГУ, кафедра гидроаэродинамики
"Моделирование трансзвукового потока в изогнутом канале программным комплексом SU2"
Стендовая сессия и обед
Матвей Крапошин, к.ф.-м.н.1
1 ИСП РАН
"QGDsolver – открытый фреймворк для разработки моделей течений жидкости и газа на основе регуляризованных уравнений"
Дмитрий Головин1
1 ВНИИФТРИ
"Моделирование инфразвукового пистонфона"
Андрей Епихин, к.т.н.1
1 ИСП РАН
"Численное моделирование натекания сильно недорасширенных струй на преграду"
Иван Широков, к.ф.-м.н.1
1 МГУ, факультет ВМК
"Метод построения аккуратной пространственной сетки для моделирования внешнего обтекания"
Кирилл Ватутин1, Андрей Епихин к.т.н.1, Матвей Крапошин к.ф.-м.н.1
1 ИСП РАН
"Прогнозирование звукового удара в дальнем поле для сверхзвуковых транспортных средств с использованием свободного программного обеспечения"
Перерыв
Виктор Игнатенко1, Денис Базаревский2
1 STR-Soft
"Опыт замены компонентов коммерческого САПР на свободные аналоги"
Евдокимов Илья, к.т.н.1, Хэнш Сьюзан1
1 Центр им. Гельмгольца Дрезден-Россендорф
"Масштабируемые рабочие процессы в работе с OpenFOAM"
Мария Комарова1, Владимир Зенкин1, Максим Кулабухов1
1 МГТУ им. Н.Э.Баумана
"Многокритериальная оптимизация полости охлаждения в поршне дизельного двигателя"
Дарья Романова1
1 ИСП РАН
"Сравнение односкоростной и многоскоростной многофазных моделей для моделирования потоков на склонах"
Управление данными и информационные системы
Показать все доклады секции
Работа секции начнётся в ZOOM с 10:30.
Андрей Фомичев1
1 Руководитель службы "Яндекс"
"Yandex Database Serverless — подход к виртуализации базы данных"
Константин Авраченков1
1 Исследовательский центр Inria Sophia Antipolis-Méditerranée
"Обучение на графах с частичным привлечением учителя"
Сергей Кузнецов, д.т.н.1, Павел Велихов2, Кянг Фу2
1 ИСП РАН, 2 Российский Исследовательский Институт Huawei
"Аналитика в реальном времени, гибридная транзакционно-аналитическая обработка данных, управление данными в основной памяти и энергонезависимая основная память"
Александр Шмид, д.т.н., профессор1
1 ЗАО "ЕС-Лизинг"
"Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM"
Перерыв
Александр Ефимов1, Артем Поляков2, Константин Крамаренко1
1 СибГУТИ, 2 NVIDIA Corporation
"Оптимизация доступа к ассоциативной базе данных для реализации стандарта PMIx"
Михаил Бабенко, к.ф.-м.н.1, Андрей Черных, к.т.н.2, Бернардо Пулидо-Гейтан, Ph.D3, Елена Голимблевская4, Хорхе Марио Кортес-Мендоза5, Арутюн Аветисян, д.ф.-м.н.2
1 СКФУ, 2 ИСП РАН, 3 Исследовательский центр CICESE Энсенада, Мексика, 4 СКФУ, 5 Южно-Уральский государственный университет
"Экспериментальная оценка методов гомоморфного сравнения"
Максим Рындин1, Денис Турдаков, к.ф.-м.н.1, Сергей Кузнецов, д.т.н.1
1 ИСП РАН
"Catalyst: Использование совместного и активного обучения для непрерывной классификации"
Андрей Саховский1, Валерий Соловьев, д.ф.-м.н.1, Марина Солнышкина, к.ф.н.1
1 ФГАОУ ВО КФУ
"Применение тематического моделирования для оценки сложности учебников на русском языке"
Перерыв
Андрей Михайлов, к.т.н.1, Алексей Шигаров, к.т.н.1, Егор Рожков2, Игорь Черепанов1
1 ИДСТУ СО РАН, 2 ИГУ
"Верификация результатов обнаружения таблиц в PDF документах на основе графового представления"
Хорхе Марио Кортес-Мендоза1, Андрей Черных, к.т.н.2, Андриан Фасио Медина3, Бернардо Пулидо-Гейтан, Ph.D3, Глеб Радченко1, Михаил Бабенко, к.ф.-м.н.4, Игорь Черных, к.ф.-м.н.5, Игорь Куликов, д.ф.-м.н.5, Серхио Несмачноу, Ph.D6, Рауль Ривера Родригез6
1 Южно-Уральский государственный университет, 2 ИСП РАН, 3 Исследовательский центр CICESE Энсенада, Мексика, 4 СКФУ, 5 ИВМиМГ СО РАН, 6 Республиканский университет, Уругвай
"Распределение рабочей нагрузки цифровых близнецов с потоковым взаимодействием микросервисов на облака с низкой стоимостью"
Елена Аксенова1, Никита Лазарев1, Давид Бадалян1, Олег Борисенко1, Роман Пастухов1
1 ИСП РАН
"Michman: оркестратор для развертывания распределенных сервисов в облачных средах"
Валерия Швецова1, Олег Борисенко1, Максим Полищук2
1 ИСП РАН, 2 МГТУ им. Н.Э.Баумана
"Использование Ansible в реализации TOSCA-оркестратора"
Ирина Енягина1, Андрей Поляков, к.т.н.1
1 НИЦ "Курчатовский институт"
Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт»
Перерыв
Полтавцева Мария, к.т.н.1
1 СПбПУ
"Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных киберфизических систем"
Владислав Ананьев1, Павел Андреев1, Арам Аветисян1, Владимир Макаров1, Вадим Глинер 2, Ассаф Шустер 2, Евгений Карпулевич1
1 ИСП РАН, 2 Технион, Израиль
"Неархитектурные улучшения для классификации ЭКГ с использованием глубокой нейронной сети"
Мария Акименкова1, Анна Мазнина2, Антон Наумов1, Евгений Карпулевич1
1 ИСП РАН, 2 МФТИ
"Применение метода HDBSCAN для кластеризации данных РНК-секвенирования единичных клеток"
Технологии анализа, моделирования и трансформации программ
Показать все доклады секции
Работа секции начнётся в ZOOM с 10:30.
Евгений Новиков, к.ф.-м.н.1, Владимир Гратинский1, Илья Захаров, к.ф.-м.н.1
1 ИСП РАН
"Экспертная оценка результатов верификации инструментов верификации моделей программ"
Денис Стражков1
1 ИСП РАН
"Описание методов и реализованных на их основе программных средств, позволяющих эмулировать UEFI модули"
Д.А. Рыболовлев1, М.Н. Горюнов1, А.Г. Мацкевич1
1 Академия ФСО России
"Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017"
Алексей Вишняков1, Андрей Федотов, к.т.н.1, Даниил Куц1, Александр Новиков1, Дарья Парыгина1, Илай Кобрин1, Влада Логунова1, Павел Белецкий1, Шамиль Курмангалеев, к.ф.-м.н.1
1 ИСП РАН
"Sydr: передовой инструмент динамического символьного выполнения"
Севак Саргсян, к.ф.-м.н.1, Вааг Варданян, к.ф.-м.н.1, Айк Асланян, к.ф.-м.н.1, Мариам Арутюнян1, Матевос Мерабьян1, Карен Саргсян1, Рипсиме Ованнесян1, Ованнес Мовсисян1, Дживан Акобян1, Шамиль Курмангалеев, к.ф.-м.н.2
1 Лаборатория системного программирования РАУ, Ереван, 2 ИСП РАН
"GΕΝΕS ISP — платформа для анализа программ"
Екатерина Лаврищева, д.ф.-м.н.1
1 ИСП РАН
"Моделирование технических и математических задач предметных областей знаний"
Перерыв (обед)
Михаил Соловьев, к.ф.-м.н.1, Максим Бакулин1, Сергей Макаров1, Дмитрий Манушин1, Вартан Падарян, к.ф.-м.н.1
1 ИСП РАН
"Практическая абстрактная интерпретация бинарного кода"
Сергей Козлов, к.т.н.1, Сергей Копылов1, Борис Кондратьев2, Дмитрий Обыденков3
1 Академия ФСО, 2 Министерство обороны РФ, 3 ИСП РАН
"Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера"
Максим Мишечкин1, Шамиль Курмангалеев, к.ф.-м.н.1, Виталий Акользин1
1 ИСП РАН
"Архитектура и функциональные возможности инструмента ИСП Фаззер"
Виталий Акользин1, Шамиль Курмангалеев, к.ф.-м.н.1, Максим Мишечкин1
1 ИСП РАН
"Разработка эффективного метода фаззинга приложений, работающих со сложными форматами данных"
Перерыв
Тхиен Чан1, Шамиль Курмангалеев, к.ф.-м.н.1
1 ИСП РАН
"Автоматизированная генерация фаззинг тестов"
Сергей Зеленов, к.ф.-м.н.1, Екатерина Лаврищева, д.ф.-м.н.1
1 ИСП РАН