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


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

Эффективные алгоритмы для современных информационных систем.

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

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

Исследование и разработка методов распределенной обработки больших баз графовых данных

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

В настоящее время в области хранения и обработки данных наблюдается тенденция перехода от традиционной реляционной модели к использованию специализированных систем (NOSQL), позволяющих оптимизировать решение для заранее определенного класса приложений. В этой области ведутся активные разработки и уже существуют коммерческие системы разрабатываемые и используемые такими компаниями как Google, Microsoft, Facebook, HP и т.д.

Инструмент динамического символьного исполнения программ Anxiety

Начало проекта – 2012 год. Заказчик - ИСП РАН.

В рамках перспективных направлений исследований по автоматическому обнаружению ошибок в машинном коде программ в 2012 году начата разработка инструмента Anxiety для проведения динамического символьного исполнения программ для операционных систем семейств Linux и Windows.

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

Тестирование решений класса In-Memory Data Grid для задач Core banking.

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

Проект посвящен тестированию решений класса In-Memory Data Grid в применении к области базовых банковских операций. В качестве решений тестировались GridGain, RedHat Infinispan и Hazelcast.

Annotame - сервис для автоматизации процесса разметки текстовых документов

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

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

Инструмент профилирования используемой памяти в программах на языке Java для операционной системы Android

Начало проекта – 2013 год. Окончание проекта - 2013 год. Заказчик - Samsung.

В рамках работ для компании Samsung в 2013 году группой анализа программ разработан инструмент анализа используемой памяти программами, написанными на языке Java и исполняющимися в Java-машине Dalvik, являющейся составной частью операционной системы Android.

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

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

Проект посвящен разработке инструмента для построения онтологии, или базы знаний, системы Texterra на основе анализа текстовых документов определенных предметных областей. Необходимость подобного инструмента вызвана тем, что наиболее распространенным, а иногда и единственным, способом представления знаний во многих предметных областях являются обычные текстовые документы.

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

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

Проект был направлен на создание научно-технического задела в области создания программных инструментов для поддержки процесса разработки параллельных приложений, гибкой и масштабируемой платформы для интеграции инструментальных средств управления вычислительными ресурсами суперкомпьютерного центра. В рамках данной работы был разработан метод обнаружения неэффективного использования коммуникационных шаблонов, логических и семантических ошибок в параллельных приложениях. Были разработаны и реализованы инструментальные средства для автоматизированного выявления ошибок в параллельных программах, написанных на языке C/C++ или Fortran с использованием библиотеки MPI , на языке UPC.

Методы суперкомпьютерного моделирования вихревых нестационарных турбулентных течений газа и генерируемых ими акустических полей на основе открытого кода в расчетах промышленно-ориентированных задач для авиационных приложений.

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

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

Перспективные методы верификации масштабных моделей данных.

Начало проекта – 2013 год. Окончание проекта - 2015 год. Заказчик - Грант РФФИ 13-07-00390.

Проект связан с созданием сложных программных систем на основе формальных статических моделей и адресован ключевым проблемам верификации масштабных моделей данных, применяемых в различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных языках (EXPRESS, UML/OCL и т.п.).

Разработка инструментов программирования гетерогенных вычислительных систем эксафлопсного класса.

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

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

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

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

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

Разработка с использованием инструмента C++TESK системы функциональной верификации кэш-памяти третьего уровня проекта "Процессор 1"

Начало проекта – 2013 год. Окончание проекта - 2013 год. Заказчик - совместно с МЦСТ .

Целью данного проекта являлась разработка с использованием технологии UniTESK и инструмента C++TESK системы функциональной верификации (тестовой системы) для кэш-памяти третьего уровня (L3) проекта «Процессор 1», а также проведение верификации с использованием разработанной тестовой системы.

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

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

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

Инструмент поиска ошибок синхронизации в многопоточных программах

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

В рамках работ для компании Samsung в 2012 году группой анализа программ разработан инструмент поиска ошибок синхронизации в многопоточных Java программах на основе инструментации Java байт-кода.

Реализованы алгоритмы инструментации Java байт-кода для сбора трасс выполнения программы и с применением библиотеки ThreadSanitizer реализован обнаружитель состояния гонки при доступе к ресурсам программы из разных потоков и взаимной блокировки потоков программы. Особенностью реализации инструмента является возможность его применения на Java машинах не поддерживающих встроенные механизмы инструментации (Dalvik).

Интеллектуальные сервисы для проектирования энергоэффективных сооружений

Начало проекта – 2012 год. Окончание проекта - 2014 год. Заказчик - Еврокомиссия Грант EU FP7-ICT-2011-7, соглашение номер 288819..

Главной целью проекта является разработка информационной технологии и программной платформы для интеграции существующих инструментов проектирования энергоэффективных сооружений. Платформа использует облачные вычисления и реализует концепцию виртуальной лаборатории энергосбережения (Virtual Energy Lab), предусматривающую развитые сервисы для численного моделирования процессов теплообмена в зданиях и поиска оптимальных проектных решений. Существенно, что многофакторный стохастический анализ проводится с учетом физических свойств строительных конструкций и материалов, условий эксплуатации зданий, накопленных статистических метеорологических данных, стоимости электроэнергии и других экономических показателей.

Исследование и разработка прототипа инструмента анализа исполняемого кода программ для обнаружения ошибок.

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

Данный проект посвящен разработке программных инструментов, в автоматизированном режиме ищущих набор входных данных, на котором реализуется ошибка анализируемой программы. Инструменты рассчитаны на поиск ошибок в бинарном коде программ, осуществляющих взаимодействие по сети.

Разработка программно-аппаратной платформы «виртуальный суперкомпьютер», обеспечивающей использование суперкомпьютеров на основе технологий виртуализации.

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

В рамках работ по контракту разработан программный комплекс «виртуальный суперкомпьютер». Программный комплекс разработан в модели свободного ПО и основан на компонентах с открытым исходным кодом.

Разработка с использованием инструмента C++TESK систем автономной функциональной верификации устройств L3 и DB проектов "Процессор 1" и "Процессор 2"

Начало проекта – 2012 год. Окончание проекта - 2012 год. Заказчик - совместно с МЦСТ .

Целью данного проекта являлась разработка с использованием технологии UniTESK систем автономной функциональной верификации (тестовых систем) для устройств проектов «Процессор 1» и «Процессор 2», доработка (приведение в актуальное состояние и расширение возможностей) существующих тестовых систем, а также проведение верификации с использованием разработанных заново и доработанных тестовых систем.

Высокоуровневые модели параллельных вычислений и их библиотеки поддержки времени выполнения.

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

В рамках проекта была разработана программная модель для распределенных гетерогенных вычислительных систем, в составе узла которых находится многоядерный компьютер общего назначения (хост-машина) и один или несколько ПЛИС. В предлагаемой модели программирования гетерогенных систем будут объединены лучшие черты подходов, создающих высокоуровневые модели программирования, и подходов, максимально эффективно использующих возможности акселераторов с помощью библиотек поддержки времени выполнения. На высоком уровне программист может описывать параллельный по данным алгоритм, который можно параметризовать для конкретного гетерогенного узла.


1 2 3 4 5