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

Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем с участием научных организаций Франции

Стадии проекта
Предложение принято
Конкурс завершен
Проект закончен

Повышение уровня информационного обмена, стимулирование научной и деловой активности на основе международной кооперации и интеграции инновационного научного потенциала университетов и других научно-исследовательских организаций, усиление конкурентоспособности и инвестиционной привлекательности ИТ-сектора России, привлечение талантливой молодежи к участию в международных перспективных научных исследованиях по приоритетному направлению «Информационно-телекоммуникационные системы».

Участники проекта

Зам. руководителя работ
Прокопенко Светлана Анатольевна

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

1
09.06.2009 - 15.09.2009
Разработаны методы пассивного тестирования взаимодействующих протокольных реализаций; проведена оценка полноты пассивного тестирования; выполнено пассивное тестирование по модели расширенного автомата с целью обеспечения полноты теста; разработаны алгоритмы пассивного тестирования и выполнена их программная реализация.
Развернуть
2
16.09.2009 - 07.12.2009
Проведено исследование временных моделей с конечным числом переходов. Исследованы отношения конформности для этих моделей. Разработаны модели неисправности и методы синтеза тестов с гарантированной полнотой относительно предложенных моделей. Разработаны и программно реализованы алгоритмы синтеза тестов с гарантированной полнотой.
Развернуть
3
01.01.2010 - 15.06.2010
Проведен анализ случаев, когда для решения этих проблем существует алгоритм полиномиальной сложности, и разработаны эффективные методы решения соответствующих задач для таких случаев. Разработаны и программно реализованы алгоритмы тестирования недетерминированных автоматов.
Развернуть
4
16.07.2010 - 15.10.2010
Разработана программная документация. Разработаны ППП по синтезу тестов с гарантированной полнотой для детерминированных автоматов, ППП по синтезу тестов для проверки взаимодействия компонент автоматной сети, ППП по синтезу тестов с гарантированной полнотой для недетерминированных и временных автоматов, ППП по синтезу тестов для проверки реализаций протоколов вычислительных сетей, ППП, позволяющий обнаружить нарушения информационной безопасности в компьютерных системах, построенных на базе политики дискреционного разграничения доступа. Выполнена интеграция разработанного программного обеспечения для синтеза тестов в единый комплекс прикладных программ. Разработаны программа и методики экспериментальных исследований. Проведена технико-экономическая оценка рыночного потенциала полученных результатов.
Развернуть

Программа

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

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

1.4 Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информационно-телекоммуникационных систем
Тема
Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем с участием научных организаций Франции.
Продолжительность работ
2009 - 2010, 17 мес.
Бюджетные средства
3 млн
Количество заявок
1
Тема
Работы по проведению проблемно-ориентированных поисковых исследований и созданию научно-технического задела в области биомедицинских технологий жизнеобеспечения и защиты человека с участием научных организаций Франции.
Продолжительность работ
2009 - 2010, 18 мес.
Бюджетные средства
5 млн
Количество заявок
2
Тема
Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем с участием научных организаций Германии.
Продолжительность работ
2009 - 2010, 17 мес.
Бюджетные средства
3 млн
Количество заявок
7
Тема
Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем с участием научных организаций стран Латинской Америки.
Продолжительность работ
2009 - 2010, 17 мес.
Бюджетные средства
3 млн
Количество заявок
2
Тема
Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем с участием научных организаций Индии.
Продолжительность работ
2009 - 2010, 17 мес.
Бюджетные средства
3 млн
Количество заявок
1