Вернуться

Номер

05.607.21.0295

Тема

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

Состояние

Исполняется

Шифр заявки

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

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

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

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

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

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

04.12.2019

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

04.12.2019

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

30.09.2020

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

Информационно-телекоммуникационные системы

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

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

Планируемый результат

Планируемый результат проекта
1. Метод разработки и верификации многоуровневых формальных моделей программных систем с повышенными требованиями по надёжности и безопасности.
2. Метод аналитической верификации и тестирования программного обеспечения на соответствие многоуровневым формальным моделям.
3. Экспериментальный образец программного комплекса моделирования и верификации требований к программным системам с повышенными требованиями по надёжности и безопасности.
4. Экспериментальный образец программного комплекса аналитической верификации и тестирования программного обеспечения на соответствие многоуровневым формальным моделям.
5. Программная документация на экспериментальные образцы программных комплексов.

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

60 млн. руб.

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

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

50 млн. руб.

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

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