Регистрация / Вход
Прислать материал

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

Стадии проекта
Предложение принято
Конкурс завершен
Проект закончен
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
6 млн
Внебюджетные средства
1,24 млн

Разработка технологии верификации программного обеспечения на языках общего назначения, на базе моделей и с учетом специфики предметной области

Соисполнители

Этапы проекта

1
18.05.2007 - 30.09.2007
Проведен анализ научно-технической литературы и нормативно-технической документации по разрабатываемой теме. Исследован ряд существующих методов верификации программного обеспечения, написанного на языках общего назначения. Исследована возможность использования существующих алгоритмов верификации программ. На основании проведенного анализа выработаны общие положения разрабатываемой технологии верификации. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.
Развернуть
2
01.10.2007 - 31.12.2007
Разработан формальный метод верификации программного обеспечения: включая методы проведения лексического и синтаксического анализа, преобразования к внутреннему представлению, генерации и проверки выполнения условий корректности. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.
Развернуть
3
01.01.2008 - 30.06.2008
На основе разработанного ранее формального метода верификации разработан рабочий прототип автоматизированного средства анализа C/C++ программ на предмет наличия в их исходном коде уязвимостей и ошибок различных классов. Разработанный прототип включает модули лексического и синтаксического анализа, преобразования к внутреннему представлению, генерации и проверки выполнения условий корректности, встраиваемые модули для интеграции разработанного средства со сторонними средствами разработки программного обеспечения с открытым исходным кодом: Kate и Emacs. Особенности и детали реализации, представляющие научную значимость, приведены в отчете о НИР. В состав отчета о НИР также входит комплект программной документации для разработанного прототипа и программа-методика проведения экспериментов на 4-м этапе. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.
Развернуть
4
01.07.2008 - 31.08.2008
На основе разработанного ранее прототипа программного средства верификации проведены исследования его функциональных характеристик и проверка соответствия их требованиям технического задания. Проведенные эксперименты подробно описаны в отчете о НИР. В состав отчета о НИР также входит программа и методика проведения экспериментов и протоколы экспериментов. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.
Развернуть
5
01.09.2008 - 31.10.2008
На основе разработанного ранее прототипа программного средства верификации проведены исследования его функциональных характеристик и проверка соответствия их требованиям технического задания. Проведенные эксперименты подробно описаны в отчете о НИР. В состав отчета о НИР также входит программа и методика проведения экспериментов и протоколы экспериментов. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы"

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

1.4 Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информационно-телекоммуникационных систем
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Организация
ИСП РАН
профинансировано
Продолжительность работ
2007, 8 мес.
Бюджетные средства
3 млн
профинансировано
Тема
Разработка технологий верификации программного обеспечения
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
18 млн
Количество заявок
13
Тема
Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения.
Продолжительность работ
2008 - 2009, 16 мес.
Бюджетные средства
20 млн
Количество заявок
5
Тема
Разработка и верификация новых производственных технологий получения материалов (металлических, керамических, полимерных и/или композиционных) различного функционального назначения и изделий из них бионического дизайна на основе многоуровневых моделей формирования их служебных свойств
Продолжительность работ
2017 - 2019, 26 мес.
Бюджетные средства
130 млн
Количество заявок
0
Тема
Разработка инструментария по выбору объектов учета и средств программного обеспечения для автоматизации процессов их государственной регистрации в Едином реестре РНТД, осуществляемой государственными заказчиками НИОКР гражданского назначения.
Продолжительность работ
2008 - 2009, 19 мес.
Бюджетные средства
19 млн
Количество заявок
2
Тема
Исследование и разработка средств повышения защищённости программного обеспечения от внешних атак
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
9 млн
Количество заявок
2