Notice: file_put_contents(): Write of 14866 bytes failed with errno=28 No space left on device in /var/www/group-telegram/post.php on line 50 НОП. Научно-образовательная политика | Telegram Webview: szhenov/14919 -
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
Apparently upbeat developments in Russia's discussions with Ukraine helped at least temporarily send investors back into risk assets. Russian President Vladimir Putin said during a meeting with his Belarusian counterpart Alexander Lukashenko that there were "certain positive developments" occurring in the talks with Ukraine, according to a transcript of their meeting. Putin added that discussions were happening "almost on a daily basis." For tech stocks, “the main thing is yields,” Essaye said. Ukrainian forces successfully attacked Russian vehicles in the capital city of Kyiv thanks to a public tip made through the encrypted messaging app Telegram, Ukraine's top law-enforcement agency said on Tuesday. Individual messages can be fully encrypted. But the user has to turn on that function. It's not automatic, as it is on Signal and WhatsApp. Channels are not fully encrypted, end-to-end. All communications on a Telegram channel can be seen by anyone on the channel and are also visible to Telegram. Telegram may be asked by a government to hand over the communications from a channel. Telegram has a history of standing up to Russian government requests for data, but how comfortable you are relying on that history to predict future behavior is up to you. Because Telegram has this data, it may also be stolen by hackers or leaked by an internal employee.
from us
