Новости

02 декабря 2021
24-ое биеннале Европейского Нейрохимического Общества и 8-ая конференция "Молекулярные и клеточные мезанизмы регуляции в нервной системе"
Глубокоуважаемые коллеги! Приглашаем студентов, аспирантов и сотрудников вашего учереждения принять...

30 сентября 2021
Расширенное заседание Бюро СМУ РАН от 21 сентября
21 сентября 2021 г. состоялось расширенное заседание Бюро СМУ РАН. С докладом выступил к.т.н. Федотов...

26 июля 2021
Расширенное заседание Бюро СМУ РАН от 6 июля
6 июля 2021 г. состоялось расширенное заседание Бюро СМУ РАН. С докладом выступил к.т.н. Павкин Д.Ю.....

02 июня 2021
Расширенное заседание Бюро СМУ РАН
1 июня 2021 г. состоялось расширенное заседание Бюро СМУ РАН. С научным докладом «Внешняя политика...

18 мая 2021
Российско-Индийский конкурс научных проектов
Начался приём заявок на Российско-Индийский конкурс научных проектов для молодых специалистов по...

Все новости

21 сентября 2021 г. состоялось расширенное заседание Бюро СМУ РАН. С докладом выступил к.т.н. Федотов А.Н.. Тема доклада: Системное программирование в контексте цифровой трансформации.

В рамках доклада были рассмотрены новые модели деятельности при цифровой экономике (социальные медиа, электронная коммерция, цифровая медицина, дистанционное образование и работа). Отмечено, что основными драйверами роста IT в последние 20 лет выступают: социум, распространение свободного программного обеспечения, а также производство эффективной аппаратуры из компонентов общего назначения. Системное программное обеспечение является основой для реализации высокотехнологичных информационных платформ. Необходимыми качествами системного ПО являются: эффективность, продуктивность и безопасность. Эффективность и продуктивность ПО повышается с помощью развития компиляторых и облачных технологий. Институт системного программирования им. В.П. Иванникова имеет многолетний опыт (больше 15 лет, 200 патчей) в разработке широко известных компиляторов (gcc и llvm). Рассмотрены разработанные ИСП РАН облачная среда Asperitas и оркестратор Michman, которые позволяют получать ресурсы по запросу, обеспечивая необходимый уровень безопастности. В частности, на базе Asperitas и Michman может быть реализована платформа интеллектуального дата-центра для медицины. В докладе была упомянута платформа TALISMAN, которая позволяет анализировать социальные медиа-сервисы. Анализ социальных медиа позволяет более эффективно решать задачи маркетинга, рекомендации товаров и услуг, информационного поиска и многие другие.

Особое внимание было уделено безопасности программного обеспечения. Ошибки в ПО — это основная причина уязвимости систем. Ошибки в ПО может вносить не только программист, но компилятор, используя небезопасные оптимизации. Классические методы защиты не являются основными (антивирусы, защита по периметру, организационные мероприятия). Требуется системный подход: внедрение жизненного цикла разработки безопасного ПО. В связи с огромными объёмами современного ПО (Astra Linux - более 150 миллионов строк кода), необходимо использование средств формальной верификации, статического и динамического анализа. Кратко были затронуты инструменты для жизненного цикла безопасного ПО, разрабатываемые в ИСП РАН: AstraVer (формальная верификация), Svace (статический анализ), Sydr+ИСП Fuzzer (динамический анализ), ТРАЛ (динамический анализ помеченных данных).

 
Copyright © 2009-2021 Российская академия наук