Институт системного программирования РАН

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

История

Основание и первые годы

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

Развитие в 2000-е годы

В 2000-х годах ИСП РАН значительно расширил сферу исследований. Были созданы лаборатории, занимающиеся статическим и динамическим анализом кода, верификацией программ, разработкой компиляторов (в том числе для архитектуры «Эльбрус»), а также технологиями для встраиваемых систем. Институт начал активно сотрудничать с ведущими мировыми компаниями в области информационных технологий, включая Intel, IBM и Samsung, выполняя проекты по оптимизации компиляторов и созданию инструментов для разработки ПО.

Современный этап

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

Структура и руководство

ИСП РАН имеет классическую для академических институтов структуру, состоящую из научных лабораторий и отделов. Руководство осуществляется директором и Учёным советом. В состав института входят:

• Лаборатория компиляторных технологий — занимается разработкой и оптимизацией компиляторов для различных архитектур (x86, ARM, «Эльбрус», RISC-V).
• Лаборатория анализа программ — специализируется на статическом и динамическом анализе кода, поиске уязвимостей и ошибок.
• Лаборатория верификации — разрабатывает формальные методы доказательства корректности программного обеспечения (модельный подход, SMT-решатели).
• Лаборатория систем искусственного интеллекта — исследует методы машинного обучения, компьютерного зрения и обработки естественного языка.
• Лаборатория кибербезопасности — занимается защитой программного обеспечения, анализом вредоносного кода и разработкой средств защиты информации.

Основные направления исследований

Компиляторные технологии

Одно из ключевых направлений — разработка и оптимизация компиляторов. ИСП РАН создал компилятор для архитектуры «Эльбрус» (российский процессор), а также участвовал в оптимизации компилятора GCC для архитектуры ARM. Институт разрабатывает технологии автовекторизации, профильной оптимизации и межпроцедурного анализа.

Анализ и верификация программ

В этой области ИСП РАН известен разработкой инструментов статического анализа кода, таких как Svace (система поиска ошибок и уязвимостей в исходном коде на языках C, C++, Java, C#). Инструмент используется в ряде российских компаний (например, в «Лаборатории Касперского» и «Яндекс»). Также ведутся работы по формальной верификации операционных систем и драйверов с использованием метода символьного выполнения.

Кибербезопасность

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

Операционные системы

ИСП РАН участвует в создании компонентов для российских операционных систем. В частности, разработаны драйверы, подсистемы управления памятью и средства виртуализации для ОС «Аврора» (на базе Linux) и ОС «Альт». Институт также исследует архитектуры микроядерных ОС.

Искусственный интеллект

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

Образовательная деятельность

ИСП РАН активно сотрудничает с ведущими российскими вузами. На базе института действуют кафедры:

• Кафедра системного программирования факультета вычислительной математики и кибернетики МГУ имени М. В. Ломоносова.
• Кафедра системного программирования Московского физико-технического института (МФТИ).
• Базовая кафедра в Высшей школе экономики (НИУ ВШЭ).

Студенты и аспиранты проходят практику в лабораториях института, участвуют в реальных научных проектах. Ежегодно институт проводит научные школы и конференции, в том числе международную конференцию «Системное программирование» (ISPRAS).

Международное сотрудничество

До введения санкционных ограничений в 2022 году ИСП РАН активно сотрудничал с зарубежными организациями. Совместные проекты велись с компаниями Intel (оптимизация компилятора Intel C++ Compiler), IBM (разработка инструментов для анализа кода), Samsung (создание компилятора для архитектуры Exynos). Институт являлся членом международных консорциумов, таких как Eclipse Foundation и LLVM Foundation. После 2022 года международное сотрудничество существенно сократилось, однако институт продолжает участвовать в научных обменах с организациями из стран БРИКС и СНГ.

Критика

Деятельность ИСП РАН в целом оценивается профессиональным сообществом положительно, однако отмечается, что часть разработок института (например, компилятор для «Эльбрус») имеет ограниченное практическое применение из-за низкой распространённости данной архитектуры. Также критике подвергается зависимость института от государственного финансирования и сложности с коммерциализацией результатов исследований в условиях санкционного давления.

Примечания

1. Официальный сайт ИСП РАН — ispras.ru
2. Устав ИСП РАН (утверждён постановлением Президиума РАН, 1994 г.)
3. «История института» — раздел на сайте ИСП РАН
4. «Научные направления» — раздел на сайте ИСП РАН
5. «Институт системного программирования РАН» — статья в Большой российской энциклопедии (2022)
6. «Разработки ИСП РАН в области кибербезопасности» — журнал «Программирование» (2023)
7. «ИСП РАН: 25 лет» — сборник статей, под ред. А. И. Аветисяна (2019)