Си-компилятор для операционной системы реального времени Багет 3.5 (СКРВ Багет 3.5)

«Си-компилятор для операционной системы реального времени Багет 3.5 (СКРВ Багет 3.5)» включено в реестр российского ПО: реестровая запись № 28991, решение Экспертного совета (протокол № 565пр от 23.07.2025). Правообладатель — НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИ. Заявление № 336526 от 20.06.2025.

Статус: Включено в реестр · Этап: В реестре · ПО

Номер заявления: № 336526, зарегистрировано 20.06.2025
Правообладатель: НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИ
Реестровая запись: Реестровая запись №28991 от 31.07.2025
Классы ПО: 04.04 Среды разработки, тестирования и отладки

О продукте

СКРВ Багет 3.5 предназначен для компиляции программ, написанных на языке Си или на языке Ассемблера с целью использования полученных объектных файлов на процессорах RM7000, 1890ВМ5Ф, 1890ВМ6Я, 1890ВМ7Я, 1890ВМ8Я, XLP316, Intel под управлением ОСРВ Багет 3.5.

Что умеет

СКРВ Багет 3.5 обеспечивает следующие возможности:
компиляцию с различными уровнями оптимизации
компиляцию с формированием отладочной информации в генерируемых объектных модулях. Задачей компилятора СКРВ Багет 3.5 является:
анализ входных программ на языке Си
выдача диагностических сообщений при обнаружении ошибок или некорректных программных конструкций
генерация объектных модулей с заданными пользователем опциями (уровень оптимизации кода, уровень выдачи предупреждающих сообщений, включение отладочной информации), пригодных для загрузки и выполнения на целевой платформе. Для решения задач компиляции применяются следующие методы:
Синтаксический анализ входной программы при помощи алгоритма конечного автомата со стеком; результатом анализа является представление входной программы в виде синтаксического дерева
Преобразование в промежуточное списочное представление в виде RTL-кода
Применение к промежуточному представлению заданных пользователем методов оптимизации, включающих:
оптимизацию условных и безусловных переходов
исключение общих подвыражений
удаление неиспользуемых фрагментов кода
оптимизация распределения регистров
оптимизацию циклов с возможностью их полного или частичного развертывания
оптимизации кода, специфические для целевой платформы (например, заполнение слотов задержки)

Свидетельство Роспатента: № 2021611185 от 25.01.2021
Код ОКПД 2: 58.29.14 Средства разработки инструментальные и программное обеспечение языков программирования на электронном носителе
ИНН правообладателя: 7727086772
Государство регистрации: Россия
Документация: niisi.ru
Стоимость и лицензия: niisi.ru

По карточке заявления на сайте реестра, обновлена там 17.06.2025.

Решения Экспертного совета

Включить в реестр — протокол № 565пр от 23.07.2025, голосование: за 18, против 0, воздержались 1; поручение оператору от 31.07.2025
- Класс программного обеспечения: Среды разработки, тестирования и отладки

История заявления

31.07.2025 — реестровая запись № 28991
23.07.2025 — решение Экспертного совета: Включить в реестр (протокол № 565пр)
20.06.2025 — появилось в списке со статусом «Включено в реестр»

Другие продукты правообладателя

Графический сервер для операционной системы реального времени Багет 2.6 (ГСРВ 2.6) — Включено в реестр
Программа просмотра и обработки протокола событий операционной системы и прикладной программы для операционной системы реального времени Багет 2.6 (Трассировщик ОС РВ Багет 2.6) — Включено в реестр
Файловый сервер для операционной системы реального времени Багет 3.5 (ФСРВ Багет 3.5) — Включено в реестр
Программа просмотра и обработки протокола событий операционной системы и прикладной программы для операционной системы реального времени Багет 3.5 (Трассировщик ОС РВ Багет 3.5) — Включено в реестр
Си-компилятор для операционной системы реального времени Багет 3.3 (СКРВ Багет 3.3) — Включено в реестр
Библиотека отладки для среды ПЛК (БО ПЛК) — Включено в реестр
Библиотека географической информационной системы для операционной системы реального времени Багет 2.6 (БГИСРВ 2.6) — Включено в реестр
Файловый сервер для операционной системы реального времени Багет 2.6 (ФСРВ 2.6) — Включено в реестр

Все заявления — НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИ