СИСТЕ́МНОГО ПРОГРАММИ́РОВАНИЯ ИНСТИТУ́Т
-
Рубрика: Технологии и техника
-
Скопировать библиографическую ссылку:
СИСТЕ́МНОГО ПРОГРАММИ́РОВАНИЯ ИНСТИТУ́Т РАН (ИСП РАН), основан в 1994 в Москве на базе бывшего Ин-та проблем кибернетики РАН. Основатель и директор ин-та – акад. В. П. Иванников. Осн. направления работы ин-та: проектно-ориентированные фундам. и прикладные исследования в области системного программирования, нацеленные в первую очередь на создание новых технологий; проектные внедрения результатов исследований в пром. компаниях-партнёрах; обучение студентов и аспирантов (в МГУ, Моск. физико-технич. ин-те и Высшей школе экономики) на основе разработанных и используемых в работах ин-та совр. технологий.
Тематика исследований и разработок ин-та включает: сетевые архитектуры и аппаратные платформы для построения локальных и глобальных сетей; управление и интеллектуальный анализ данных; совр. оптимизирующие компиляторы; статич. и динамич. анализ исходного кода программных систем; методы верификации, стандартизации, вопросы организации процессов создания, сопровождения и развития программ; проблемы теоретич. информатики.
В ин-те разработаны: UniTESK – технология тестирования программных и аппаратных систем на основе формальных моделей их поведения; Svace – инструментальное средство статич. анализа для поиска уязвимостей и критич. ошибок в исходном коде программ на языках Си/Си++; TrEx – программный комплекс восстановления и анализа алгоритмов функционирования и структур данных; Texterra – масштабируемая технология для многоязычного интеллектуального анализа текста; UniHub – программная платформа, обеспечивающая создание предметно ориентиров. веб-лабораторий.