🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
That hurt tech stocks. For the past few weeks, the 10-year yield has traded between 1.72% and 2%, as traders moved into the bond for safety when Russia headlines were ugly—and out of it when headlines improved. Now, the yield is touching its pandemic-era high. If the yield breaks above that level, that could signal that it’s on a sustainable path higher. Higher long-dated bond yields make future profits less valuable—and many tech companies are valued on the basis of profits forecast for many years in the future. Also in the latest update is the ability for users to create a unique @username from the Settings page, providing others with an easy way to contact them via Search or their t.me/username link without sharing their phone number. Ukrainian President Volodymyr Zelensky said in a video message on Tuesday that Ukrainian forces "destroy the invaders wherever we can." "There are several million Russians who can lift their head up from propaganda and try to look for other sources, and I'd say that most look for it on Telegram," he said. You may recall that, back when Facebook started changing WhatsApp’s terms of service, a number of news outlets reported on, and even recommended, switching to Telegram. Pavel Durov even said that users should delete WhatsApp “unless you are cool with all of your photos and messages becoming public one day.” But Telegram can’t be described as a more-secure version of WhatsApp.
from tr
