Вернуться

Номер

05.607.21.0295

Тема

Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации

Состояние

Исполняется

Шифр заявки

2019-05-579-0001-187 Сведения о лоте

Организация Головной исполнитель

Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук

Руководитель работ

Петренко Александр Константинович

Дата подписания

04.12.2019

Дата начала работ

04.12.2019

Дата окончания работ

30.09.2020

Основное приоритетное направление

Программное мероприятие

1.3 Проведение прикладных научных исследований и разработок, направленных на создание продукции и технологий

Бюджет, Итого (млн.руб)

60 млн. руб.

на 2019 год — 30 млн. руб.
на 2020 год — 30 млн. руб.

Внебюджет, Итого (млн.руб)

50 млн. руб.

на 2019 год — 25 млн. руб.
на 2020 год — 25 млн. руб.

Этапы выполнения работ

Количество этапов: 2
Этап №1
04.12.2019 - 31.12.2019 – Этап в работе
Этап №2
01.01.2020 - 30.09.2020 – Этап в работе