Notice: file_put_contents(): Write of 14478 bytes failed with errno=28 No space left on device in /var/www/group-telegram/post.php on line 50 НОП. Научно-образовательная политика | Telegram Webview: szhenov/14920 -
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
🔗В ней приняли участие ведущиенаучныесотрудники ИСП РАН.
🎙Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН, для НОП:
«Для промышленных систем технологии разработки безопасного ПО особенно важны: цифровизация критической инфраструктуры идёт ускоренными темпами, а цена программной ошибки там велика. При этом общепринятые процессы и инструменты РБПО нужно при внедрении «приземлять» на специфику конкретной отрасли — электроэнергетики, транспорта, атомной промышленности, учитывая как особенности отраслевой регуляторики, так и технические особенности ПО и аппаратуры.
Я рассказал, как инструменты ИСП РАН могут помочь с повышением безопасности АСУТП — в частности, коллекция статических анализаторов получила поддержку стандартов MISRA и AUTOSAR, а комплекс фаззинг-тестирования Crusher умеет выполнять фаззинг произвольного кода при помощи частичной эмуляции. Общение с коллегами было продуктивным, надеемся на расширение сотрудничества».
➡️Вартан Падарян выступил с докладом «Безопасная разработка технологий ИИ» в рамках сессии «Безопасные стратегии для применения ИИ в индустриальных решениях».
✔️Андрей Белеванцев выступил с докладом «РБПО для АСУТП: как улучшить безопасность, когда все против тебя» в рамках сессии «Роль РБПО в промышленной автоматизации. Практические сценарии внедрения»
👕Организаторы конференции: медиагруппа «Авангард», компании «ИнфоТеКС» и InfoWatch.
In February 2014, the Ukrainian people ousted pro-Russian president Viktor Yanukovych, prompting Russia to invade and annex the Crimean peninsula. By the start of April, Pavel Durov had given his notice, with TechCrunch saying at the time that the CEO had resisted pressure to suppress pages criticizing the Russian government. The picture was mixed overseas. Hong Kong’s Hang Seng Index fell 1.6%, under pressure from U.S. regulatory scrutiny on New York-listed Chinese companies. Stocks were more buoyant in Europe, where Frankfurt’s DAX surged 1.4%. Additionally, investors are often instructed to deposit monies into personal bank accounts of individuals who claim to represent a legitimate entity, and/or into an unrelated corporate account. To lend credence and to lure unsuspecting victims, perpetrators usually claim that their entity and/or the investment schemes are approved by financial authorities. "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. Oh no. There’s a certain degree of myth-making around what exactly went on, so take everything that follows lightly. Telegram was originally launched as a side project by the Durov brothers, with Nikolai handling the coding and Pavel as CEO, while both were at VK.
from us
