Методы анализа и трансформации программ и созданные на их основе программные инструменты, обеспечивающие заданный уровень доверия
| Название НИОКТР | Методы анализа и трансформации программ и созданные на их основе программные инструменты, обеспечивающие заданный уровень доверия |
|---|---|
| Аннотация | Цель исследований состоит в разработке фундаментальных методов поиска и устранения дефектов в исходном и бинарном коде программ с одновременным сохранением эффективности разрабатываемых программ и продуктивности процесса разработки. |
| Доступ к ОКОГУ исполнителя | False |
| Количество связанных РИД | 0 |
| Количество завершенных ИКРБС | 0 |
| Сумма бюджета | 112542.492 |
| Дата начала | 2025-01-01 |
| Дата окончания | 2027-12-31 |
| Номер контракта | 075-03-2025-014 |
| Дата контракта | 2025-01-16 |
| Количество отчетов | 3 |
| УДК | 004.45 |
| Количество просмотров | 6 |
| Руководитель работы | Белеванцев Андрей Андреевич |
| Руководитель организации | Аветисян Арутюн Ишханович |
| Исполнитель | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ ИМ. В.П. ИВАННИКОВА РОССИЙСКОЙ АКАДЕМИИ НАУК |
| Заказчик | МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ |
| Федеральная программа | Отсутствует |
| Госпрограмма | Фундаментальные и поисковые научные исследования |
| Основание НИОКТР | Государственное задание |
| Последний статус | 2025-10-14 08:18:36 UTC, 2025-10-14 08:18:36 UTC |
| ОКПД | Услуги, связанные с научными исследованиями и экспериментальными разработками в области компьютерных наук и информационных технологий |
| Отраслевой сегмент | — |
| Минздрав | — |
| Межгосударственная целевая программа | — |
| Ключевые слова | машинное обучение; фаззинг; доверенное программное обеспечение; статический анализ; динамический анализ; поиск ошибок |
| Соисполнители | — |
| Типы НИОКТР | Фундаментальное исследование |
| Приоритетные направления | — |
| Критические технологии | — |
| Рубрикатор | 50.41.17 - Системное программное обеспечение |
| OECD | — |
| OESR | Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8) |
| Приоритеты научно-технического развития | а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;; д) противодействие техногенным, биогенным, социокультурным угрозам, терроризму и экстремистской идеологии, деструктивному иностранному информационно-психологическому воздействию, а также киберугрозам и иным источникам опасности для общества, экономики и государства, укрепление обороноспособности и национальной безопасности страны в условиях роста гибридных угроз; |
| Регистрационные номера | ikrbs: {'card_list': [{'id': 'SGL649Q2UBRWDPJNRANK9TUG'}, {'id': 'TUKAAMW4ZAIHIROWZFWM1R8L'}]} |