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

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

Шифр лота
2007-04-1.4-18-02
Количество поданных заявок
13
Статус лота
Конкурс завершен
Способ размещения заказа
Информация отсутствует
Дата вскрытия
10.04.2007
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
18 млн
Внебюджетные средства
3,69 млн

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

 Все лоты данного конкурса (12)

Тема
Технология защиты информации от несанкционированного доступа в компьютерных сетях нового поколения.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
22 млн
Количество заявок
12
Тема
Кодирование и передача динамически меняющихся изображений.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
14 млн
Количество заявок
7
Тема
Технологии разработки распределенных программных систем получения и использования знаний.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
12 млн
Количество заявок
6
Тема
Программное обеспечение и средства поддержки технологии разработки программного обеспечения телекоммуникационных систем нового поколения.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
18 млн
Количество заявок
10
Тема
Разработка информационных технологий извлечения, накопления и использования профессиональных и корпоративных знаний.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
14 млн
Количество заявок
23
Тема
Разработка теоретических основ и реализация методов моделирования и проектирования опорной инфраструктуры современных высокопроизводительных телекоммуникационных систем и сетей передачи данных нового поколения.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
14 млн
Количество заявок
6
Тема
Развитие и применение технологии открытых систем для интеграции информационных и вычислительных ресурсов науки и образования.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
14 млн
Количество заявок
7
Тема
Разработка российских программных комплексов для эффективного проектирования сложных технических конструкций и моделирования реальных процессов с использованием терафлопных вычислительных систем.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
21 млн
Количество заявок
6
Тема
Разработка грид-сервисов для предоставления по запросу сред исполнения прикладных задач и создание проблемно-ориентированных оболочек решения ресурсоемких научных, технологических и инженерных задач средствами грид-технологий
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
21 млн
Количество заявок
11
Тема
Разработка и апробация на реальных приложениях перспективных технологий параллельного программирования для следующих поколений вычислительных систем
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
28 млн
Количество заявок
9
Тема
Разработка перспективных суперкомпьютерных систем для решения актуальных задач научно-технологического комплекса
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
14 млн
Количество заявок
5
Тема
Разработки в области языков программирования и моделирования программного обеспечения, технологий и инструментальных средств проектирования программ
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
24 млн
Количество заявок
8
Заявки
Тема
Исследование и разработка технологий автоматизации процессов верификации и обнаружения уязвимостей программного обеспечения
Цель
Исследование существующих и разработка новых теоретических подходов к построению моделей программ и проверке их свойств, а также разработка на базе проведенных исследований программного комплекса, позволяющего в автоматизированном режиме осуществлять верификацию программных средств, включая выявление уязвимостей в исходном коде, формирование классификации обнаруженных уязвимостей и предложение подходов к их устранению
Статус
Победитель
Номер заявки
Заявка №2007-04-1.4-18-02-088
Тема
Верификация программ посредством их параметризованного тестирования специализаторами на базе моделей этих программ, реализация верификатора для языка программирования Java.
Цель
Должна быть разработана технология верификации программ со сложным поведением на базе моделей этих программ. Технология должна быть основана на изучении процесса верификации как параметрического тестирования. Должны быть разработаны методы построения тестовых гипотез, указывающие на возможные ошибки в программах, технология функциональных требований по модели программного обеспечения и реализован прототип верификатора для языка программирования Java.
Статус
Победитель
Номер заявки
Заявка №2007-04-1.4-18-02-064

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

Программа

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

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

1.4 Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информационно-телекоммуникационных систем
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Организация
ИСП РАН
профинансировано
Продолжительность работ
2007, 8 мес.
Бюджетные средства
3 млн
профинансировано
Продолжительность работ
2012 - 2013, 13 мес.
Бюджетные средства
0,62 млн
профинансировано
Тема
Разработка и верификация новых производственных технологий получения материалов (металлических, керамических, полимерных и/или композиционных) различного функционального назначения и изделий из них бионического дизайна на основе многоуровневых моделей формирования их служебных свойств
Продолжительность работ
2017 - 2019, 26 мес.
Бюджетные средства
130 млн
Количество заявок
0
Тема
Разработки в области языков программирования и моделирования программного обеспечения, технологий и инструментальных средств проектирования программ
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
24 млн
Количество заявок
8
Тема
Разработка принципов и программных средств виртуальной интеграции распределённых источников данных для создания масштабных информационных инфраструктур профессионального назначения.
Продолжительность работ
2012 - 2013, 17 мес.
Бюджетные средства
39 млн
Количество заявок
24
Тема
Разработка программно-технологического комплекса автоматизированного учета, хранения и перемещения фондов научно-технической информации на основе технологий радиочастотной идентификации (RFID).
Продолжительность работ
2008 - 2009, 17 мес.
Бюджетные средства
26,5 млн
Количество заявок
2
Тема
Распространение инновационных воспитательных моделей, обеспечивающих формирование гражданской идентичности обучающихся в условиях поликультурного общества, на основе предметных областей эстетической направленности на примере образовательных программ в области музыки
Продолжительность работ
2014 - 2015, 20 мес.
Бюджетные средства
3,6 млн
Количество заявок
6