Прислать материал
Событийные программные контракты как основа для верификации распределенных систем.
Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.442.11.7174
Организация
ИСП РАН
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Внебюджетные средства
0 млн
Информация отсутствует
Этапы проекта
1
27.10.2005 - 25.11.2005
Предложен метод моделирования функциональности распределенных программных систем на основе событийных контрактов.
Разработан прототип инструмента для построения тестов на основе событийных контрактов.
Использование разработанной технической документации и данных экспериментальных исследований в ОКР в области информационных технологий.
Разработан прототип инструмента для построения тестов на основе событийных контрактов.
Использование разработанной технической документации и данных экспериментальных исследований в ОКР в области информационных технологий.
Программа
Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы
Программное мероприятие
1.9 Проведение молодыми учеными научных исследований по приоритетным направлениям науки, высоких технологий и образования
профинансировано
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
6 млн
профинансировано
Программный стенд для валидации и верификации реализаций протоколов широкополосных беспроводных сетей
Продолжительность работ
2012 - 2013, 13 мес.
Бюджетные средства
0,62 млн
профинансировано
Разработка методов и инструментов для масштабируемой статической верификации системного программного обеспечения.
профинансировано
Гибридный процесс изготовления деталей для аэрокосмической отрасли: моделирование, разработка программного обеспечения и верификация
Продолжительность работ
2017 - 2020, 32 мес.
Бюджетные средства
30 млн
профинансировано