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


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

Реализация межпротокольного шлюза 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 и множество компиляторов для встраиваемых систем.


1 2 3 4 5