🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
"This time we received the coordinates of enemy vehicles marked 'V' in Kyiv region," it added. These administrators had built substantial positions in these scrips prior to the circulation of recommendations and offloaded their positions subsequent to rise in price of these scrips, making significant profits at the expense of unsuspecting investors, Sebi noted. Oleksandra Matviichuk, a Kyiv-based lawyer and head of the Center for Civil Liberties, called Durov’s position "very weak," and urged concrete improvements. In a statement, the regulator said the search and seizure operation was carried out against seven individuals and one corporate entity at multiple locations in Ahmedabad and Bhavnagar in Gujarat, Neemuch in Madhya Pradesh, Delhi, and Mumbai. The Security Service of Ukraine said in a tweet that it was able to effectively target Russian convoys near Kyiv because of messages sent to an official Telegram bot account called "STOP Russian War."
from br
