Среди этих технологий и разработок – инструменты анализа кодов программ и массивов данных, сервисы анализа контента, - в том числе контента социальных сетей, программы для противодействия несанкционированному доступу к коду и базам данных, методика обфускации (запутывания) программного кода, компьютерного моделирования и пр. Ряд технологий был представлен на сопровождавшей конференцию выставке разработок Института. Заказчики и потребители этой высокотехнологичной продукции – мировые лидеры в области разработки и производства электронной техники – зарубежные корпорации, отечественные компании и государственные структуры. Многих из них объединяет долголетнее стратегическое партнерство с ИСП РАН.
«Институт - один из лучших научно-исследовательских партнеров нашего центра во всем мире. Мы надеемся, что наше сотрудничество продолжится и дальше», - отмечает Чул Джо Ким, представитель штаб-квартиры исследовательского центра Software Research Centre компании Samsung из Сеула.
«Мы много лет успешно сотрудничаем с учеными и программистами ИСП РАН, - подтверждает президент ассоциации «Тайзен.ру» Андрей Тихонов. - Поэтому нам крайне важно, что жизненный цикл поддержки российского дистрибутива ОС Тайзен реализован на базе Института. Tizen - международная экосистема, но в ней огромная доля труда российских специалистов. Их заслуга, в первую очередь, - очень высокий уровень безопасности корпоративной мобильной инфраструктуры».
«Мы использовали классическую физтеховскую модель построения института, нацеленную на образование через исследование, тесную интеграцию фундаментальной науки, образования и индустрии. Эта модель обеспечивает одновременно и воспроизводство кадров, и генерацию новых технологий на постоянной и долгосрочной основе, - рассказал директор ИСП РАН Арутюн Аветисян. – И эта модель оказалась успешной. За последние два десятилетия институт заработал прочную и достойную репутацию, как в России, так и за ее пределами».
Созданный в 1994 году под руководством академика В.П. Иванникова, ИСП РАН стал федеральным центром разработки отечественного программного обеспечения, научным институтом, непосредственно связанным с обеспечением информационной безопасности страны.
«Наша служба уделяет значительное внимание повышению уровня безопасности информационных систем России, - подчеркнул Виталий Лютиков, заместитель директора Федеральной службы по техническому и экспортному контролю. - Совместно с ИСП РАН мы занимаемся анализом большого объема программного обеспечения, разработкой методик выявления ошибок в ПО. Я выражаю благодарность работникам института за значительный вклад в наше общее дело – дело обеспечения безопасности. Это очень нужные для нас методики, которые мы постараемся реализовать и внедрить на всех уровнях». Как можно судить по широкому спектру тем, затронутых на конференции, проекты и перспективные разработки ИСП РАН могут найти широкое применение и в других сферах и отраслях, везде, где безопасность, защищенность, отсутствие программных ошибок и уязвимостей являются наиболее важными.
Не удивительно, что значительное число докладов научно-практической конференции было посвящено именно этой тематике. Сотрудники ИСП РАН выступили с докладами «Технологии статического анализа в безопасном цикле разработки программ», «Формализация определения ошибок при статическом символьном выполнении», «Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода», обсудили прикладные технологии анализа контента глобальной сети Интернет, методику автоматического определения возраста пользователей с помощью социальных связей и определения основного места проживания пользователей соцсетей на основе социального графа.
В ходе конференции представили свои разработки и концепции российские и зарубежные компании, среди которых – Software R&D Center Samsung Electronics, Russian Research Center Huawei Technologies, Mail.Ru Group, «СиПроВер», а так же университеты – МГУ, МФТИ, МГТУ, Институт математики и механики им. Н.Н. Красовского, Swiss Federal Institute of Technology in Zurich, Instituto PolitecnicoNacional, University of Zagreb, UPC Barcelona Tech, Universität der Bundeswehr München, MIO Toulon Univerity и другие.
«Открытая конференция - удачный опыт нашего института, - подводит итоги Арутюн Аветисян. – Об этом мы судим как по списку участников, так и по разнообразию научных тем, не говоря уже о неподдельном интересе, который эти темы вызвали. Два дня мы говорили не о стартапах и планах, а о результатах длительной научно-практической работы, длящейся подчас более десятилетия от концепции до внедрения. Мы смогли показать целый ряд разработок мирового уровня практически во всех аспектах системного программирования - компиляторные технологии, параллельные и распределенные вычисления, технологии верификации и тестирования программного обеспечения, анализ и обработка больших объемов данных, семантический поиск. Но список тем для общения и дальнейшего научного поиска далеко не исчерпан».
По общему решению участников конференции, открытая встреча ученых российских и зарубежных ученых, программистов, разработчиков станет ежегодной и будет проходить как Научно-практическая конференция памяти Виктора Петровича Иванникова.