Институт системного программирования Роcсийской академии наук


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

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

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

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

Linux Driver Verification (LDV)

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

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

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

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

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

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

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

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

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

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

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

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

Начало проекта – 2001 год. Заказчик - 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#.

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-сервера ИСП РАН.

Обеспечение совместимости протоколов IРv4 и IРv6 на базе контекстного метода трансляции адресной информации.

Механизм безконтекстной трансляции протоколов (SIIT) обладает целым рядом ограничений. Выполненная в рамках проекта реализация механизмов контекстной трансляции адресов и протоколов (NAT-PT) в рамках операционных систем Linux и FreeBSD позволила, во-первых, использовать не специальные, а "обычные" IPv6-адреса в подсети IPv6 и, во-вторых, присваивать IPv6-узлам IPv4-адреса динамически в процессе создания сеансов связи между сетями IPv6 и IPv4.

Разработка межсетевого экрана для защиты локальных сетей от несанкционированного доступа со стороны Internet.

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

Разработка шлюзов прикладного уровня DNS-ALG и FTP-ALG для обеспечения взаимодействия между IPv4 и IPv6 сетями и создание инструментальных средств тестирования сетевого программного обеспечения.

Организация эффективного взаимодействия между сетями IPv4 и IPv6 на базе транслирующих механизмов невозможна без создания шлюзов прикладного уровня, обеспечивающих преобразование соответствующих протокольных элементов на прикладном уровне. Реализация подобных механизмов была основной целью данного проекта. Однако без создания автоматизированных средств верификации сетевого программного обеспечения отладка и тестирование становятся очень трудоемкими и утомительными. Поэтому вторая часть проекта была посвящена разработке инструментов, автоматизирующих отладку и тестирование сетевых программ.

Реализация межпротокольного шлюза IPv4/IPv6 в открытой операционной среде Linux.

В результате данной работы, во-первых, был реализован новый механизм совместимости протоколов IPv6 и IPv4, соответствующий проекту стандарта IETF "Stateless IP/ICMP Translator (SIIT)" и способный, вместе с другими механизмами, обеспечить плавный и безболезненный переход на протокол IPv6. Во вторых, были изучены тонкости реализации данного транслирующего межпротокольного механизма в среде операционной системы Linux.

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

TweetSieve

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

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

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

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

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

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

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

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

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