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

Разработка открытого (open source) тестового набора и центра верификации операционной системы Linux.

Шифр лота
2005-ИТ-00.4/003
Количество поданных заявок
5
Статус лота
Конкурс завершен
Способ размещения заказа
Информация отсутствует
Дата вскрытия
26.09.2005
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
15 млн
Внебюджетные средства
0 млн

- формализация, уточнение и пополнение набора стандартов, описывающих требования к поведению компонентов операционной системы Linux;
- разработка открытого (open source) систематического тестового набора, проверяющего соответствие реализаций операционной системы формализованным требованиям;
- создание Центра верификации операционной системы Linux.

Заявки
Тема
Разработка открытого (open source) тестового набора и центра верификации операционной системы Linux.
Исполнитель
ИСП РАН
Статус
Победитель
Номер заявки
Заявка №2005-ИТ-00.4/003/010
Разработка открытого (open source) тестового набора и центра верификации операционной системы Linux.
Тема
Разработка открытого (open source) тестового набора и центра верификации операционной системы Linux.
Статус
Конкурс завершен
Номер заявки
Заявка №2005-ИТ-00.4/003-011

  Другие заявки (3)

Программа

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

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

1 Программное мероприятие
Продолжительность работ
2005 - 2006, 12 мес.
Бюджетные средства
15 млн
Организация
ИСП РАН
профинансировано
Продолжительность работ
2014 - 2016, 30 мес.
Бюджетные средства
25 млн
Организация
ИСП РАН
профинансировано
Тема
Разработка аппаратно-программного комплекса «Виртуальный хирург» для 3D моделирования операционного процесса и учебно-методических модулей для системного обучения врача-хирурга методикам открытой хирургии с небольшим размером операционного поля, методикам эндоваскулярной хирургии и эндоскопической хирургии на этапах додипломного и последипломного образования.
Продолжительность работ
2011 - 2013, 26 мес.
Бюджетные средства
150 млн
Количество заявок
1
Тема
Разработка прикладного программного обеспечения по приоритетному направлению «Информационно-телекоммуникационные системы» в области создания библиотек системных программ для операционной системы «Linux».
Продолжительность работ
2008 - 2009, 8 мес.
Бюджетные средства
2,5 млн
Количество заявок
4
Тема
Разработка открытой и свободно распространяемой автоматизированной системы поддержки процесса промышленной разработки программных продуктов
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
46,8 млн
Количество заявок
4
Тема
Создание открытой платформы для универсальных учётных систем с возможностью кластеризации.
Продолжительность работ
2011 - 2013, 26 мес.
Бюджетные средства
109 млн
Количество заявок
2
Тема
Разработка и реализация набора инструментов тестирования, поддерживающих автоматическую генерацию сложно структурированных тестовых данных, на основе грамматик
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
10,5 млн
Количество заявок
2