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


Текущие проекты

Summer — система разработки тестов на основе автоматных моделей

Начало проекта – 2010 год.

Summer — система разработки тестов на основе автоматных моделей, поддерживающая технологию UniTESK.

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

Начало проекта – 2010 год.

В рамках исследовательских работ в 2010 году начато исследование методов статического анализа программ на языках с динамической типизацией. Создан прототип инструмента, позволяющий проводить вывод типов для программ на языке Python. В настоящее время проект временно заморожен.

Разработка тестовых наборов для математических библиотек

Начало проекта – 2010 год. Заказчик - РФФИ.

Тестовый набор предназначен для тестирования реализаций математических функций, использующих числа с плавающей точкой и имеющих интерфейс на языке С.

Linux Driver Verification (LDV)

Начало проекта – 2009 год.

Программа Linux Driver Verification (LDV) объявлена Центром верификации ОС Linux в июне 2009 года.

Исследование технологии построения перспективных систем визуального моделирования и планирования проектов.

Начало проекта – 2007 год. Заказчик - Synchro Software Ltd..

В рамках проекта по заказу и совместно с компанией Synchro Software Ltd. (Великобритания) проводятся фундаментальные и прикладные исследования в области системной интеграции, программной инженерии, компьютерной графики и визуализации, управления большими данными для построения перспективных систем визуального моделирования и планирования проектов. Полученные результаты позволили развить мультидисциплинарную функциональность разрабатываемой системы, а также улучшить ее масштабируемость и производительность.

Технология тестирования интеграции в крупных информационных системах

Начало проекта – 2005 год. Заказчик - ОАО “Вымпелком”.

Проект ведется в партнерстве с ОАО "Вымпелком" и нацелен на развитие методов тестирования на уровне информационной системы вцелом. Проект охватывает самые разные аспекты процесса тестирования: от сбора требований к legacy-системам до анализа тестового покрытия при end-to-end тестировании.

UniTESK

Начало проекта – 1999 год.

UniTESK - это технология тестирования программных интерфейсов (API), которая в первую очередь предназначена для модульного тестирования. Название UniTESK расшифровывается как Unified TEsting Specification based toolKit (Унифицированный набор инструментов для тестирования на основе спецификаций). Унифицированность UniTESK обеспечивается тем, что общая методология тестирования и общая архитектура может быть реализована для тестирования модулей на практически всех языках программирования. В настоящее время имеются реализации UniTESK для C (CTESK), C++ (C++TESK), Java (JavaTESK и Summer), Python (PyTESK).

Верификация функций безопасности и мобильности протоколов IP.

Целями этого проекта были исследование и развитие методов формального моделирования телекоммуникационных протоколов применительно к функциям безопасности и мобильности, а также разработка новых методов и программных средств автоматизации построения тестовых наборов для проверки соответствия реализаций этих функций стандартам Интернета.

Следует отметить, что проект выполнялся в тесном взаимодействии с отделом «Технологий программирования».

Верификация функций безопасности протокола нового поколения IPsec v2.

Проведенный анализ изменений, внесенных в спецификации функций безопасности уровня IP при переходе с версии IPsec v1 на версию IPsec v2, показал, что разработанные в предыдущем проекте формальные спецификации протоколов и тестовые сценарии практически невозможно использовать. Новая версия функций безопасности по существу представляет собой новый набор протоколов, который не совместим с протоколами защиты передачи данных первой версии IPsec. По этой причине, основная цель проекта заключается в полной переработке, как формальных спецификаций, так и тестовых сценариев, обеспечивающих автоматизированную верификацию функций безопасности в реализациях нового семейства протоколов. Проект выполнялся в тесном взаимодействии с отделом «Технологий программирования».

Обеспечение высокоскоростной внешней связи Института системного программирования РАН.

В проекте достигались две основные цели. Первая состояла в том, чтобы создать условия для активного обмена информацией в интересах повышения эффективности исследований в области системного программирования и разработки новых системных программных средств с научными учреждениями России и зарубежных стран, в том числе с использованием среды Internet. Второй целью являлось создание собственного информационного ресурса - Web-сервера ИСП РАН.

Завершенные проекты

WikiXMLDB

Начало проекта – 2010 год. Окончание проекта - 2010 год.

Данный проект предоставляет возможность совершать запросы к Википедии на языке XQuery. Содержимое Википедии было представлено в правильно структурированном XML-формате и загружено в XML-базу данных Sedna. Для запросов на языке XQuery был реализован веб-интерфейс.

Организация доступа к распределенным ресурсам от уровня инфраструктуры до уровня приложения как к Web-сервису.

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

В процессе выполнения работы, были решены задачи исследования методов доступа к высокопроизводительным ресурсам, а также разработки экспериментального образца единой аппаратно-программной платформы, обеспечивающей доступ к высокопроизводительным ресурсам, как к Web сервисам.

Инструмент итеративного динамического анализа программ Avalanche

Начало проекта – 2009 год. Окончание проекта - 2012 год.

В рамках перспективных направлений исследований в 2009 году в группе анализа программ началась разработка инструмента Avalanche для итеративного динамического анализа программ на базе среды динамической инструментации программ Valgrind. В настоящий момент проводятся исследования, направленные на увеличение производительности динамического анализа с использованием распределенных вычислений, исследование методов и разработка инструментов целенаправленного анализа отдельных модулей и функций целевой программы, а также исследование методов воспроизведения дефектов, найденных в процессе статического анализа программ, при помощи методов динамического анализа.

TweetSieve

Начало проекта – 2008 год. Окончание проекта - 2008 год.

Микроблогосфера обладает уникальными характеристиками: это источник крайне актуальной информации о событиях, происходящих во всем мире. Twitter является наиболее популярным средством ведения микроблогов, поэтому мы разработали систему анализа сообщения Twitter, которую назвали TweetSieve.

Инфраструктура управления контентом и знаниями

Начало проекта – 2008 год. Окончание проекта - 2009 год. Заказчик - Научное издательство "Большая Российская энциклопедия".

Данная инфраструктура предоставляет службы управления полным жизненным циклом знаний и контента, которые используются для разработки современных информационных продуктов, основанных на энциклопедиях и ссылках. XML-СУБД Sedna является главным компонентом инфраструктуры. Она позволяет использовать один и тот же контент в разных документах и форматах, обеспечивает повторное использование контента, превосходные поиск и навигацию, а также значительную гибкость и удобство модификации информационных продуктов.

Разработка инфраструктуры стандарта LSB

Начало проекта – 2006 год. Окончание проекта - 2010 год. Заказчик - Linux Foundation.

Программа LSB Infrastructure выполнялась ИСП РАН по контракту с Linux Foundation. Проект был начат в сентябре 2006 и был нацелен на долгосрочное сотрудничество с целью поднятия на новый уровень инфраструктуры разработки и поддержки стандарта LSB в ответ на возрастающую потребность индустрии в продвижении этого стандарта.

Инструменты статического анализа исходного кода программ на языках C, C++ и C#

Начало проекта – 2001 год. Окончание проекта - 2017 год. Заказчик - Klocwork a Rogue Wave Company.

По заказу и совместно с канадской компанией Klocwork a Rogue Wave Company (ранее Klocwork Inc.) в группе анализа программ разрабатывается семейство инструментов статического анализа исходного кода программ на языках C, C++ и C# с объемом кода в несколько миллионов строк. В рамках проекта непосредственно в ИСП РАН разработан фронтенд компилятора языков C и C++ с поддержкой расширений языка для компиляторов GCC, Microsoft C++ Compiler, Green Hills, CodeWarior и других, а также собственный фронтенд компилятора для языка C#.

BizQuery — виртуальная система интеграции данных, основанная на XML

Начало проекта – 2000 год. Окончание проекта - 2003 год.

BizQuery — это пакет серверов и инструментов для разработки приложений, оперирующих разнородными источниками данных. Главным компонентом пакета является Сервер интеграции BizQuery Integration Server, который предназначен для совершения запросов на языке XQuery к разнородным базам данных. Сервер интеграции BizQuery Integration Server поддерживает концепцию глобальной схемы данных, определенную в XML.

ISP ORB

Начало проекта – 1997 год. Окончание проекта - 1998 год.

ISP C++ ORB — бесплатное инструментальное средство для разработки распределенного программного обеспечения. Брокер объектных запросов (ORB) играет роль коммуникатора между различными компонентами распределенных приложений, которые могут выполняться на разных платформах.

GNU SQL Server

Начало проекта – 1996 год. Окончание проекта - 1999 год.

GNU SQL Server — это бесплатная переносимая многопользовательская реляционная система управления базами данных. Она поддерживает полную версию диалекта SQL89 и имеет некоторые расширения относительно SQL92. GNU SQL Server реализует высокий уровень изолированности транзакций и статическую и динамическую компиляцию запросов. И серверная, и клиентская стороны системы работают на Unix-подобных системах. Клиент-серверное взаимодействие основано на механизме RPC. Взаимодействие серверных процессов основано на механизмах посылки сообщений и разделяемой памяти.


1 2 3 4