Институт системного программирования им. В.П. Иванникова РАН


Проектирование и разработка web-ориентированного производственно-исследовательского центра, ориентированного на решение задач анализа программ.

Начало проекта – 2011 год. Окончание проекта - 2012 год. Заказчик - Министерство образования и науки.

В рамках проекта был разработан прототип web-центра, ориентированного на решение задач анализа программ на базе разрабатываемых в ИСП РАН программных компонент технологической платформы UniHUB, вычислительной инфраструктуры программы «Университетский кластер» и открытого пакета анализа программ Avalanche, обеспечивающий:

  • доступ для конечного пользователя ко всем функциям ЭО Платформы через Web-портал с использованием возможностей стандартного браузера;
  • визуализацию результатов анализа программ в интерактивном режиме с использованием стандартного браузера;
  • распределенную разработку новых инструментов динамического анализа междисциплинарными коллективами специалистов и обеспечение интеграции новых инструментов динамического анализа в платформу обеспечивается за счет;
  • механизмы интеграции в состав вычислительной инфраструктуры, поддерживаемой платформой, новых аппаратных ресурсов (кластеров, систем хранения данных, систем визуализации);
  • организацию и управление информационной средой взаимодействия групп специалистов (онлайн документация, wiki);
  • организацию образовательных процессов (интерактивные обучающие курсы, лабораторные работы, виртуальные учебные классы);
  • техническую поддержку пользователей Платформы;
  • использование инструмента динамического анализа программ для поиска уязвимостей и критических ошибок.

Созданный прототип web-центра позволил организовать лабораторию для поиска критических ошибок и дефектов в программах. На базе web-центра можно проводить дальнейшие исследования и разработку методов динамического анализа программ, а также организовывать обучение. Все решения в рамках проекта основываются на открытых стандартах (Web 2.0, HTTP) и технологиях с открытым программным кодом (GPL, LGPL, BSD или же другой, одобренной Open Source Initiative), что позволяет обеспечивать совместимость с другими работами в рамках тех же стандартов, а также облегчает работу пользователей, предлагая для них знакомые модели и парадигмы программирования.


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

Исполнитель

Компиляторные технологии

Перейти к списку всех проектов