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

Событийные программные контракты как основа для верификации распределенных систем.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.442.11.7174
Организация
ИСП РАН
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Внебюджетные средства
0 млн

Информация отсутствует

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

1
27.10.2005 - 25.11.2005
Предложен метод моделирования функциональности распределенных программных систем на основе событийных контрактов.
Разработан прототип инструмента для построения тестов на основе событийных контрактов.
Использование разработанной технической документации и данных экспериментальных исследований в ОКР в области информационных технологий.
Развернуть

Программа

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

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

1.9 Проведение молодыми учеными научных исследований по приоритетным направлениям науки, высоких технологий и образования
Продолжительность работ
2007, 8 мес.
Бюджетные средства
3 млн
профинансировано
Продолжительность работ
2012 - 2013, 13 мес.
Бюджетные средства
0,62 млн
профинансировано
Продолжительность работ
2014 - 2016, 27 мес.
Бюджетные средства
26,83 млн
Организация
ИСП РАН
профинансировано
Тема
Разработка технологий верификации программного обеспечения
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
18 млн
Количество заявок
13
Тема
Технологии разработки распределенных программных систем получения и использования знаний.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
12 млн
Количество заявок
6
Тема
Разработка и исследование программно-алгоритмических методов автоматизации распознавания изображений нейронов и реконструкции их трехмерного распределения.
Продолжительность работ
2011 - 2012, 14 мес.
Бюджетные средства
10 млн
Количество заявок
1
Тема
Разработка принципов и программных средств виртуальной интеграции распределённых источников данных для создания масштабных информационных инфраструктур профессионального назначения.
Продолжительность работ
2012 - 2013, 17 мес.
Бюджетные средства
39 млн
Количество заявок
24
Тема
Разработка облачных технологических решений распределенного хранилища данных многопользовательских систем на основе свободно распространяемого программного обеспечения.
Продолжительность работ
2012 - 2013, 14 мес.
Бюджетные средства
24 млн
Количество заявок
18