Круглый стол в Общественной палате РФ

Posted by: Alexander Kamkin 8 months, 4 weeks ago

4 февраля 2020 года в Общественной палате Российской Федерации прошел Круглый стол «Проблемы совершенствования эффективных механизмов национального регулирования систем управления безопасностью и качеством исходного кода программного обеспечения и пути их решения». Цель мероприятия — создание условий для формирования нормативно-правовой базы в области разработки и сопровождения безопасного ПО для органов государственного управления, государственных предприятий и объектов критической информационной инфраструктуры.

В докладе ИСП РАН, подготовленном директором института А.И. Аветисяном и заведующим отделом Технологий программирования А.К. Петренко, «Инструменты разработки и сертификации доверенного ПО. Вызовы и Решения» были рассмотрены направления развития технологий анализа и верификации программ, которые важно рассматривать как в контексте импортозамещения, так и в контексте обеспечения надежности и безопасности программных систем и, в первую очередь, критической инфраструктуры страны.

В число технологий, обеспечивающих поддержку разработки доверенного ПО, входят технологии верификации, на развитие которых были направлены работы текущего проекта.

Currently unrated
Share on Twitter Share on Facebook