Проекты

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

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

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

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

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

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

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

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

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