Проекты


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

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

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

Платформа для анализа программ на основе эмулятора QEMU

Платформа для анализа программ на основе эмулятора QEMU Среди эмуляторов с открытым исходным кодом QEMU занимает особое место, поскольку в практике промышленного программирования именно ему отдают предпочтение, когда требуется вести кросс-разработку (различные процессорные архитектуры целевого устройства и компьютера, на котором ведется разработка). На основе Qemu крупные IT-компании, такие как Google и Samsung, разрабатывают специализированные эмуляторы для мобильных устройств. Qemu в режиме полносистемной эмуляции поддерживает более 10 семейств процессоров, в число которых входят x86, PowerPC, Sparc, MIPS, ARM.

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

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

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

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

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

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

Реализация межпротокольного шлюза IРv4/IРv6 в открытой операционной среде FrееВSD.

Основная цель данного проекта заключалась в изучении особенностей операционной системы FrееВSD и переносе разработанного в предыдущем проекте безконтекстного транслирующего механизма в эту среду.

Система исследовательского поиска SciNoon

SciNoon – инновационная система, созданная с целью оптимизации длительной командной работы с научными публикациями. Статьи в SciNoon можно добавлять как из широко известных поисковых систем и электронных библиотек (Google Scholar, arxiv.org, Semantic Scholar, PubMed), так и с помощью загрузки PDF-файлов. Уникальная особенность – графические карты исследований, на которые все члены группы могут добавлять найденные ими статьи.

Статический анализатор Svace. Промышленный поиск критических ошибок в безопасном цикле разработки программ

Институтом системного программирования РАН разработан инструмент статического анализа Svace, удовлетворяющий всем требованиям для анализатора промышленного качества. Инструмент Svace поддерживает языки программирования C/C++, Java, C# (C# может также предоставляться как отдельный инструмент), операционные системы Linux, Windows, а также анализ программ, собираемых на платформах Intel x86/x86-64 Linux/Windows, ARM/ARM64. Для языков C/C++ поддерживаются популярные компиляторы ОС Linux/Windows и множество компиляторов для встраиваемых систем.

Статический анализатор языка C# SharpChecker

SharpChecker – это платформа статического анализа программ на языке C#, ориентированная на поиск ошибок. Инструмент содержит как непосредственный анализатор кода, так и готовые компоненты для внедрения в производственный цикл разработки ПО. Это позволяет использовать технологию не только программистам для исправления ошибок в разрабатываемом проекте, но также их руководителям в качестве ещё одной динамической метрики, хорошо характеризующей качество продукта.


1 2 3 4 5