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

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

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

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

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

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

Исполнитель

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