Ершовская конференция по информатике PSI-2017 собрала под крышей Главного здания Российской академии наук программистов и математиков со всего мира. Представители фундаментальной и прикладной науки, теоретики и практики обсудили настоящее и будущее программирования, особенное внимание уделив вопросам безопасности. 

Конференция носит имя академика Андрея Ершова - пионера теоретического и системного программирования, первого академика-программиста в СССР, и имеет многолетнюю историю и признанный статус. "Ершов - великое имя, уважаемое и в России, и за рубежом, если можно так сказать, бренд, - говорит директор Института системного программирования РАН член-корреспондент РАН Арутюн Аветисян. - Этот человек по праву считается одним из основоположников информатики как науки. Думаю, что сообщество, у которого есть такие бренды, имеет будущее". 

В этом году форум состоялся уже в одиннадцатый раз. "Конференция прошла в Москве, и это позволило привлечь много молодых специалистов, - отмечает ведущий научный сотрудник ИСП РАН Алексей Хорошилов. - Это одно из важнейших событий в области Computer Science в России, прекрасная площадка для того, чтобы обсудить современные тенденции развития программирования. Здесь удачно совмещены прикладные разработки и фундаментальные исследования". 

"Системное программирование - действенный инструмент для решения проблем информационной безопасности, и хорошо, что на конференции это была одна из основных тем", - подчеркнул А. Аветисян. Информационная безопасность рассматривалась сквозь призму проблем системного программирования и инструментов анализа программ, позволяющих минимизировать появление уязвимостей в процессе создания ПО и затруднить их использование в ходе эксплуатации. 

Уязвимости ПО - критические ошибки, не выявленные в ходе тестирования, - предоставляют злоумышленникам исключительные возможности для разглашения, модификации, блокирования информации, или ее уничтожения, дестабилизации, или контроля работы различных систем. В связи с этим крайне важно своевременное обнаружение дефектов программного кода на этапах разработки и проектирования программного обеспечения, проверки его соответствия заявленной политике безо-пасности и реализации механизмов защиты. Точность отслеживания уязвимостей - основной критерий эффективности предназначенных для этого инструментов.

Среди самых интересных докладов PSI-2017 стоит отметить сообщение профессора факультета компьютерных наук и инженерии Технического университета Чалмерса и Гётеборгского университета Андрея Сабельфельда, рассказавшего о новых методах отслеживания уязвимостей ПО. В докладе был представлен подход к поиску уязвимостей, который не требует отслеживания данных на протяжении всех вычислений, и инструмент DroidFace. Он является альтернативой существующим сегодня статическим и динамическим инструментам поиска уязвимостей для систем на основе Android. Профессор Сабельфельд утверждает, что этот метод может быть использован для обнаружения атак без ложных срабатываний и пропуска ошибок.

Теме анализа кода, но уже при помощи статического анализатора Svace был посвящен доклад старшего научного сотрудника ИСП РАН Андрея Белеванцева - "Многоуровневый статический анализ для поиска шаблонов ошибок и дефектов в исходном коде". Одной из наиболее действенных современных технологий поиска уязвимостей и ошибок сегодня можно назвать использование систем автоматического поиска дефектов с помощью статического анализа исходного кода программ, которые можно применять на самых ранних этапах разработки. Этот метод делает исправление дефектов максимально дешевым. 

Такие системы обрабатывают объемы информации в миллионы строк кода и анализируют все возможные варианты выполнения программы одновременно. Сегодня эта технология реализована в наборе инструментов статического анализа Svace. Его использование для анализа больших объемов кода, таких как ОС Android и Tizen, показало масштабируемость подхода и приемлемое соотношение ложных и истинных срабатываний: от 50 до 80% найденных ошибок оказываются истинными. 

О защищенности и надежности ПО говорили и другие отечественные и зарубежные ученые. Тему безопасности облачных технологий затронул управляющий директор Microsoft Research India Шрирам Раджамэни, созданию отказоустойчивых космических систем был посвящен доклад директора Ирландского исследовательского центра программного обеспечения при Университете Лимерика, основателя и главного редактора журнала NASA Journal Innovations in Systems and Software Engineering Майкла Джерарда Хинчи. Также большое внимание на конференции было уделено таким вопросам, как методология и технология программирования, высокопроизводительные вычисления, моделирование и анализ систем реального времени и гибридных систем, программирование в ограничениях, визуализация программ.

Характерно, что наряду с большим объемом прикладных тем, озвученных в докладах Ершовской конференции, поднимались и вопросы, относящиеся к области фундаментальной науки, "чистой" математики. "Не следует отрывать фундаментальную науку от прикладной, - подчеркивает Арутюн Аветисян. - Они должны развиваться как части единого организма. Так, без математиков невозможны современное программирование, анализ социальных сетей, гомоморфное шифрование, разработки в области безо-пасности, анализа больших данных. Например, ИСП РАН представил результаты фундаментальных исследований в различных областях Computer Science, многие из которых уже внедрены в практику. С другой стороны, реальная польза от той или иной фундаментальной теории становится понятной через многие годы, поэтому стратегически важно выделять ресурсы на их развитие".

По впечатлениям участников PSI-2017, общение на конференции оказалось продуктивным и многообещающим, несмотря на различие подходов. "Есть три взгляда на создание и развитие софта, - рассуждает профессор берлинской Высшей школы техники и экономики Томас Баар. - Одни считают, что это чистая математика, другие - чистое искусство, третьи - чистое ремесло. На самом деле, истина где-то посредине".

Николай СЕМЕНОВ

Похожие новости

  • 12/07/2017

    В Москве прошла Ершовская конференция PSI-2017

    Одна из наиболее авторитетных международных ИТ-конференций, PSI-2017, состоялась в конце июня в главном здании Российской академии наук. Ее участниками стали представители фундаментальной и прикладной науки, приехавшие в Москву со всего мира.
    203
  • 23/05/2016

    В Омске пройдет 2-я всероссийская научная конференция «Научные коммуникации. Научная этика. Инженерная этика»

    ​2-я всероссийская научная конференция, посвященная научным коммуникациям, научной и инженерной этике, состоится 1-2 июня 2016 года в Омске. Организационный взнос не предусмотрен. К участию приглашаются ученые, студенты, аспиранты.
    1013
  • 31/05/2017

    Вопросы безопасности отечественных операционных платформ обсудили на конференции OS DAY

    ​На конференции OS DAY, завершившейся на днях в здании Российской академии наук, обсуждались вопросы безопасности отечественных операционных платформ. Впервые это мероприятие прошло в новом формате: его организаторами стали ведущие ИТ-компании и организации - Институт системного программирования РАН (ИСП РАН), DZ Systems, ГосНИИАС, Свемел, Базальт СПО, Открытая Мобильная Платформа, Лаборатория Касперского, РусБИТех, ассоциация "Тайзен.
    201
  • 14/04/2017

    Форум инновационных технологий InfoSpaсe приглашает участников

    18 апреля в Москве пройдет форум инновационных технологий InfoSpaсe. Правительство Воронежской области и "Агентство инноваций и развития экономических и социальных проектов" приглашают всех заинтересованных лиц принять участие в крупнейшем событии инновационной отрасли.
    340
  • 19/04/2016

    В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

    ​19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию.В этом году с Ершовской лекцией выступит известный российский специалист по системному программированию д.ф.-м.н.
    1089
  • 30/05/2016

    Магистрант НГУ представил доклад на международном форуме Positive Hack Days VI

    17 по 18 мая в Москве прошел шестой международный форум по практической безопасности Positive Hack Days, посвященный практическим вопросам информационной безопасности. В нем приняли участие более трех тысяч человек со всего мира.
    909
  • 13/05/2017

    На форуме «Инфосибирь» обсудят актуальные вопросы развития информационных систем в сфере здравоохранения, образования и науки

     Утверждена программа IV межрегионального форума «Инфосибирь», который пройдет в Новосибирской области 17-18 мая. Эксперты из нескольких регионов страны обсудят ключевые вопросы развития информационных систем в сфере здравоохранения, образования и науки.
    336
  • 27/07/2017

    В Москве проходит Международная конференция по стохастическим процессам и их практическим приложениям

    ​С 24 по 28 июля в Москве в гостиничном комплексе Измайлово (корпус Вега) состоится 39 Международная конференция по стохастическим процессам и их практическим приложениям (SPA 2017). Мероприятие организовано ФАНО России, подведомственными ему Институтом проблем передачи информации РАН и​ Математическим институтом имени Стеклова РАН, а также Сколковским институтом науки и технологий, Московским физико-техническим институтом.
    262
  • 17/06/2017

    Международная Ершовская конференция по информатике PSI-2017

    ​С 26 по 29 июня 2017 года в Москве состоится Международная Ершовская конференция по информатике PSI–2017​, посвященная рассмотрению и глубокому обсуждению передовых научно-исследовательских направлений и прикладных аспектов современной информатики.
    1208
  • 26/04/2016

    Ведущие ученые обсудили возможность создания аналога человеческого субъекта

    Крупнейшие специалисты по биологически инспирированным когнитивным архитектурам обсудили возможность конструирования искусственного интеллекта на принципиально новых началах. Исследователи из 15 стран – России, США, Великобритании, Японии, Германии, Франции, Швеции, Италии и других, приняли участие в первой международной научной школе по биологически инспирированным когнитивным архитектурам (БИКА), которая прошла на базе Национального исследовательского ядерного университета «МИФИ».
    1122