Институт системного программирования
ИСП РАН
Россия
Центральный ФО РФ
Москва
109004, Б. Коммунистическая, 25
Топ-менеджеры:
Аветисян Арутюн Ишханович
Собственники:
Российская академия наук (РАН)
Направления деятельности
Деятельность Института ведется в следующих трех направлениях:
- фундаментальные исследования,
- прикладные исследования в интересах индустрии и
- образование.
Эти направления имеют сильное взаимное влияние. Студенты и аспиранты Института участвуют в проектах фундаментальных и прикладных исследований. Результаты фундаментальных исследований используются в приложениях. Прикладные исследования определяют направления фундаментальных исследований. Исследования ведутся по широкому кругу вопросов системного программирования.
Коммерческая деятельность
Около 60-65% бюджета Института системного программирования РАН (ИСП РАН) складывается из контрактов с зарубежными компаниями, рассказал CNews в марте 2011 г. директор института, академик Виктор Иванников[1]. Остальные средства институт получает от РАН, Минобрнауки, из Российского Фонда фундаментальных исследований (РФФИ) и от контрактов с различными ведомствами и коммерческими фирмами внутри России.
«Как директору, мне, конечно, хотелось бы, чтобы этот баланс был хотя бы 50х50, - рассуждает Иванников. - И такой процесс сейчас идет: появляются российские организации – и коммерческие, и различные ведомства - которым нужны технологии. Десять лет назад их вообще не было. Мы платили налогов на большую сумму, чем нам давало государство, фактически обучая студентов за свой счет – за счет тех контрактов, которые мы получали».Вице-премьер Дмитрий Григоренко рассказал TAdviser, как устроена цифровая модель госуправления Правительства России 
Стоимость работы одного специалиста над контрактными проектами в институте оценивают от $65-75 тыс. в год. При этом случается, что западные компании переманивают специалистов института к себе.
«Были случаи, когда компании нагло забирали наших людей. Правда, подобное происходит нечасто, потому что большинство корпораций все-таки придерживаются этики», - отмечает директор ИСП РАН. Всего в институте, по данным Иванникова, насчитывается около 200 программистов.
Несмотря на значительный опыт разработки программ с нуля, возможность ставить торговлю ими на поток ИСП РАН пока не рассматривает. «Если посмотреть на любую компанию, даже софтверную, то в ней вы увидите только 10% разработчиков, и 90% - администрации, сопровождения, продавцов, маркетинга и т.д. У нас около 200 программистов. Соответственно, для того, чтобы мы могли успешно продавать, у нас должно быть тысячи две человек, включая и специалистов по маркетингу, и продавцов. Это люди с другим менталитетом, с другой нравственностью. Весьма непросто все это делать, и мы этим не занимаемся. Мы разрабатываем технологии и внедряем их в других организациях», – отмечает Иванников.
Сотрудничество с Samsung
Наиболее крупные контракты у ИСП РАН заключены с компанией Samsung. В частности, иностранный партнер платит институту около $500 тыс. в год за разработку системы Svace - инструмента обнаружения уязвимостей и критических ошибок в программных продуктах, которые компания использует, к примеру, в своих смартфонах и мобильных компьютерах.
Как пояснили в 2016 году CNews, разработку этого ПО институт начал более 10 назад с компанией Nortel. Впоследствии проект получал гранты от Минобрнауки и от РФФИ. C Samsung по этому проекту ИСП РАН сотрудничает около двух лет, говорит директор института.
По заказу этой же компании институт занимается оптимизацией компиляторов для процессоров ARM. По словам Иванникова, всего на текущий момент у ИСП РАН заключено с Samsung несколько контрактов общим объемом около $1,5-2 млн.
Проблемы интеллектуальной собственности в работах по контрактам стоят очень остро, отмечает Виктор Иванников: эти вопросы оговариваются каждый раз до заключения контракта.
«Если мы с нуля начинаем разработку ПО для компании, которая поставляет проприетарные программные продукты, то все права интеллектуальной собственности принадлежат этой компании. В лучшем случае в контракте может быть написано, что мы тоже можем использовать это ПО для учебных или научных целей, - говорит академик. - Если разработка какого-то ПО начались до заключения контракта с компанией, исключительные права принадлежат институту, а заказчику в большинстве случаев передается неисключительное право на использование продукта». По последней схеме, к примеру, распределяются права на Svace между ИСП РАН и Samsung.
Одним из проектов, над которыми ИСП РАН работал по заказу Samsung ранее, являются технологии энергосбережения для аккумуляторов. В частности, институт разрабатывал компилятор, позволяющий создавать ПО, способное при необходимости вызывать команды процессора, меняющие его тактовую частоту, и, таким образом контролировать расход энергии. По словам Иванникова, возможно, работы по этому направлению возобновятся.
IoT Академия Samsung в МФТИ
Компания Samsung Electronics при поддержке Института системного программирования РАН запустила в октябре 2017 года на базе московского физико-технического института проект «IoT Академия Samsung», в рамках которого студенты вуза смогут получить практические знания об Интернете вещей и разработать собственные проекты с применением «умных» устройств. Трехстороннее соглашение о реализации проекта подписано 10 октября.
Сотрудничество с Nokia
На март 2011 г. у института подписан контракт с Nokia – на разработку компоновщиков больших программ для мобильных телефонов. Но сумма этого контракта несколько меньше, чем с Samsung на разработку Svace.
Помимо Samsung и Nokia ИСП РАН также периодически выполняет работы по контракту для Microsoft Research, HP, Intel.
Разработка открытого ПО
Помимо контрактов с коммерческими компаниями, ИСП РАН принимает активное участие в открытых проектах, правда эти проекты не всегда успешны.
Одним из программных решений, разработанных ИСП РАН с нуля, является свободная СУБД для хранения и управления XML-данными Sedna, распространяемая под лицензией Apache License 2.0. Продукт, по отзывам специалистов, получился весьма качественными, но, по словам Иванникова, эту СУБД используют, в основном лишь академические и небольшие коммерческие организации.
Кроме того, институт сотрудничает с Linux Foundation (консорциум, включающий более 70 ИТ-поставщиков). Несколько лет назад ИСП РАН совместно с Linux Foundation выпустил программу тестирования различного ПО на соответствие Linux Standard Base - основному современному стандарту, определяющему требования совместимости с Linux-системами. Предполагалось, что тестирование будут проходить разработчики дистрибутивов Linux и проприетарного ПО, а полученный в результате сертификат должен гарантировать, что та или иная проприетарная программа совместима со свободной ОС, также прошедшей сертификацию. Но разогреть большой интерес к сертификации пока не удалось, по крайней мере, со стороны проприетарных разработчиков.
История
Сотрудники Института участвовали в ряде крупных проектов СССР таких, как:
- программное обеспечение для знаменитой машины БЭСМ-6, включая операционную систему Д-68 (1968) и систему реального времени НД-70 (1971);
- архитектура и программное обеспечение распределенной неоднородной системы АС-6 (1979), которая эксплуатировалась в течение более 10 лет в Центрах управления полетами;
- архитектура, программное обеспечение и система автоматизации проектирования ЭВМ суперкомпьютера «Электроника СС Бис» (1987).
2024: Попадание под санкции США
Институт системного программирования РАН 30 октября 2024 года попал под блокирующие санкции США. Подробнее здесь.
2023: Соглашение с «Солар» в области безопасной разработки ПО
ГК «Солар» и Институт системного программирования имени В.П. Иванникова Российской академии наук (ИСП РАН) заключили соглашение о сотрудничестве. Стороны намерены объединить усилия с целью создания программных решений для безопасной разработки, развития экономических связей и научно-образовательной деятельности по этому направлению. Об этом «Солар» сообщил 8 декабря 2023 года.
Подписание соглашения предусматривает расширение сотрудничества и дополняет его новыми направлениями и форматами. В частности, организации планируют совместно продвигать свои технологии разработки безопасного ПО, образовательную и научную деятельность с целью увеличения присутствия на национальном и международном рынках. ГК «Солар» и ИСП РАН договорились о создании групп исследователей ИБ в области разработки для изучения способов поиска уязвимостей. Партнеры будут также работать над совершенствованием нормативно-правовых актов, подготовкой учебно-методических материалов по продуктам и оказывать взаимную техническую поддержку.
Организации уделяют особое внимание образовательной деятельности. В программах дополнительного профессионального образования, реализуемых на базе ИСП РАН, используются, в том числе, методические материалы и решения «Солара». Стороны дают взаимные референсы по продуктам Svace и appScreener при обучении статическому анализу кода низкоуровневых языков и кода широкого применения, а также бинарных файлов.
На декабрь 2023 года «Солар» и ИСП РАН также работают над развитием системы национальных стандартов в области разработки безопасного ПО в рамках технического комитета 362 «Защита информации», а также над проектом по созданию унифицированной среды для отечественных компаний — набора программных решений для разработки безопасного ПО.
 | В сложившихся условиях, когда глобальные вендоры оставили поддержку российского бизнеса, а киберпреступность нарастила свои мощности и изощренность атак, нашей стране, как никогда ранее, требуется оперативное и профессиональное наращивание экспертизы и зрелых решений в направлении собственной безопасной разработки. Это единственно возможный способ, который может гарантировать защищенность на всех этапах цикла разработки и доставки программного обеспечения с соблюдением требований ИБ. Особенную актуальность эта задача приобретает в условиях низкого уровня доверия к open source-источникам, — прокомментировал Игорь Ляпунов, генеральный директор ГК «Солар». — Наше партнерство с ИСП РАН выходит на новый уровень. Две системообразующих структуры объединяют усилия для развития методологии DevSecOps. В совместной работе мы будем применять наши знания и опыт в регуляторном направлении, поддерживать развитие технологий, в том числе создаваемых молодыми компаниями, и формировать лучшие практики для бизнеса. |  |
| | ИСП РАН является пионером в области создания технологий разработки безопасного ПО в России. В институте разработан технологический стек из анализаторов кода и других необходимых инструментов. По нашей инициативе создана научная специальность «Кибербезопасность», — рассказал директор ИСП РАН, академик РАН Арутюн Аветисян. — Мы давно сотрудничаем с ГК «Солар» и убедились, что партнёрство с такой значимой компанией на рынке кибербезопасности даёт серьёзный синергетический эффект, наши знания и инструменты дополняют друг друга. Общий объем проектов с совместным участием ИСП РАН и ГК «Солар» уже составляет миллиард рублей. Новое соглашение позволит нам перейти на качественно иной уровень: ускорить развитие и внедрение технологий, а также расширить подготовку кадров, чтобы повысить культуру разработки безопасного ПО в стране. | |
2021: Планы создания центра компетенций по управлению безопасностью технических и социотехнических систем
АО «Системы управления» (входит в холдинг «Росэлектроника» Госкорпорации Ростех) и Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) договорились о создании центра компетенций по управлению безопасностью технических и социотехнических систем на базе технологического полигона. Об этом Росэлектроника сообщила 12 февраля 2021 года. Подробнее здесь.
2020: Грант на проведение научных исследований технологий производства и сертификации ПО с повышенными требованиями к надежности и безопасности
4 марта 2020 года группа компаний Astra Linux сообщила, что снова стала основным индустриальным партнёром Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН). Компания обеспечит софинансирование исследований технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации. Участие ГК Astra Linux в финансировании этих исследований определяют условия предоставления гранта, который Институт получил в рамках федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014 - 2020 годы».
Одно из ключевых направлений работы – развитие технологий и инструментальных средств представления и верификации на формализованном машиночитаемом языке математической модели управления доступом. ГК Astra Linux заинтересована в результатах таких исследований, так как именно на данной модели основана защита операционной системы специального назначения (ОССН) Astra Linux Special Edition.
Применение этих инструментальных средств, с одной стороны, позволяет повысить качество разработки и обеспечить безопасность ОССН, а с другой – направлено на выполнение утвержденных Приказом ФСТЭК России от 30.07.2018 № 131 «Требований по безопасности информации, устанавливающих уровни доверия к средствам технической защиты информации и средствам обеспечения безопасности информационных технологий». Данные требования действуют с 1 июня 2019 г. по инициативе ФСТЭК России, в чьей системе сертификации ОССН Astra Linux Special Edition имеет первый класс защиты и, следовательно, максимальный уровень доверия.
| | «ИСП РАН и ГК Astra Linux развивают партнерские отношения с 2013 г. Мы ценим участие разработчиков средств защиты информации в проводимых нами исследованиях, а также их софинансировании. Это позволяет концентрировать наши усилия на направлениях, в которых заинтересованы лидеры отечественного рынка информационной безопасности, ориентированных на выполнение решений регуляторов, а также это даёт возможность создавать и внедрять наши наукоемкие технологии и инструментальные средства в решениях российских разработчиков, видеть результаты их работы», | |
Кроме исследования технологий, применяемых в инструментальных средствах верификации модели управления доступом, которые ИСП РАН ведет в рамках работ по гранту, при разработке средств защиты информации, претендующих на высокие уровни доверия, нужен широкий спектр средств статического и динамического анализа программного кода, сбора трасс его выполнения, тестирования на проникновение, анализа помеченных данных и т.д. Чтобы эффективно использовать эти средства, обрабатывать и анализировать результаты их работы, разработчику необходима постоянно функционирующая техническая инфраструктура выполнения требований доверия (испытательные стенды, базы данных дефектов программного кода, среда непрерывной разработки и т.д.), а также возможность применять соответствующие научные подходы в своей повседневной работе.
| | «Сотрудничество в лице ИСП РАН с российской академической наукой стало неотъемлемой частью научного сопровождения разработки нашей защищённой операционной системы и обеспечения доверия к ней. Некоторыми из используемых для этого технологиями, например, разработкой математической модели управления доступом, мы изначально владели сами. Несколько других технологий, к примеру, дедуктивную верификацию этой модели, мы смогли освоить совсем недавно. При этом взаимодействие с ИСП РАН позволяет нам не только соответствовать требованиям доверия, предъявляемым актуальной нормативной базой, и с выполнением которых у нас могут возникать затруднения. Оно в первую очередь даёт нам возможность заглянуть в будущее, исследовать и апробировать на нашей операционной системе самые передовые технологии обеспечения доверия к средствам защиты информации, сделать их достоянием отечественного рынка информационной безопасности. Именно на это направлена миссия ГК Astra Linux как индустриального партнёра ИСП РАН», | |
2019: Открытие совместной с Huawei R&D-лаборатории по развитию средств разработки ПО
Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) и российский научно-исследовательский институт Huawei (Huawei Russian Research Institute) в рамках стратегического партнёрства создали совместную лабораторию, работа которой будет направлена на исследования и разработки в области компиляторных технологий и компонентов операционных систем. Об этом TAdviser 5 декабря 2019 года сообщили в компании Huawei.
Средства разработки и компиляторы в частности (набор программ и технических средств по переводу языка программирования высокого уровня в упрощенный компьютерный код) являются фундаментальной основой для создания программного обеспечения различных современных устройств: от умных часов, телевизоров, мобильных телефонов до серверных платформ.
Ожидается, что такой формат сотрудничества позволит объединить опыт и усилия научных сотрудников ИСП РАН и ведущих экспертов компании Huawei для разработки прорывных подходов в создании продвинутых устройств массового пользования.
Приоритетными направлениями совместной работы станут:
- разработка инструментов оптимизации компонентов мобильных операционных систем, в том числе – компиляторов и виртуальных машин;
- создание инструментов повышения продуктивности работы программиста (на этапах всего жизненного цикла разработки ПО);
- разработка инструментов профилирования, отладки и эмуляции (будут создаваться для конкретных устройств компании).
| | Развитие такой наукоёмкой отрасли, как компиляторные технологии, невозможно без качественной обратной связи от индустрии. Поэтому сотрудничество с компаниями масштаба Huawei является конкурентным преимуществом на глобальном рынке R&D – исследований и разработок, а также качественно влияет на образование, – заявил директор ИСП РАН Арутюн Аветисян. – Мы же со своей стороны готовы предоставить Huawei наш опыт в этой области. Например, у нас четверо официально признанных в сообществе ревьюеров – разработчиков-компилятора GCC. | |
| | Huawei нацелена на долгосрочное сотрудничество с ИСП РАН. Мы планируем помогать институту с подготовкой новых специалистов и исследователей в области ключевых технологий системного программирования, а также вместе находить решения актуальных задач для создания лучших в мире устройств массового использования, – отметил Сергей Якушкин, руководитель направления компиляторов российского научно-исследовательского центра Huawei. – Развитие такой наукоемкой области как компиляторные технологии невозможно без сотрудничества между индустрией и исследователями. Встроенный в инструментарий анализ программ и поиск ошибок, скорость компиляции, время перезапуска и отладки определяют продуктивность разработки программного обеспечения и развитие всей экосистемы приложений, а качество оптимизирующих компиляторов и виртуальных машин влияет на работу операционной системы и пользовательских приложений, что в итоге формирует пользовательский опыт, плавность интерфейсов и длительность работы от батареи. | |
2017: ИСП РАН в Латинской Америке
ИСП РАН подписал в апреле 2017 года соглашение о научном сотрудничестве с Республиканским университетом Уругвая (Universidad de la República, UDELAR)[2]. Цель соглашения - содействие развитию и распространению культурных связей, научно-технологических исследований и высшего образования. Принимая решение развивать сотрудничество, институт и университет руководствовались подписанным в это же время соглашением между РАН и UDELAR.
У ИСП РАН и университета уже есть опыт научного обмена и совместного участия в мероприятиях в сфере высоких технологий. Директор ИСП РАН, член-корреспондент РАН Арутюн Аветисян прокомментировал:`UDELAR, один из значительных вузов Латинской Америки с хорошими компетенциями в таких областях, как большие данные и распределенные системы, может помочь Институту нарастить научные связи с регионом, существенно увеличить наше присутствие в странах Латинской Америки. Мы говорим не только о фундаментальных исследованиях, но и о внедрениях технологий ИСП РАН в индустрии`.
Примечания
- ↑ Программистов РАН «кормят» Samsung и Nokia
- ↑ UDELAR - один из крупнейших образовательных и исследовательских центров Латинской Америки, независимый государственный университет. 120 000 студентов университета составляют 3,6 % от всего населения Республики Уругвай (это самый высокий показатель в Латинской Америке).
Выпускники
| # | Фото | ФИО | Год | Компания / должность |
|---|---|---|---|---|
| 1 |  | Архипова Мария Викторовна | --- | Reksoft (Рексофт) Заместитель исполнительного директора |
