Си-компилятор для операционной системы реального времени Багет 3.3 (СКРВ Багет 3.3)
«Си-компилятор для операционной системы реального времени Багет 3.3 (СКРВ Багет 3.3)» включено в реестр российского ПО: реестровая запись № 28787, решение Экспертного совета (протокол № 528пр от 08.07.2025). Правообладатель — НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИ. Заявление № 336523 от 20.06.2025.
Статус: Включено в реестр · Этап: В реестре · ПО
- Номер заявления
- № 336523, зарегистрировано 20.06.2025
- Правообладатель
- НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИ
- Реестровая запись
- Реестровая запись №28787 от 28.07.2025
- Классы ПО
- 04.04 Среды разработки, тестирования и отладки
О продукте
СКРВ Багет 3.3 предназначен для компиляции программ, написанных на языке Си, на инструментальной ЭВМ с целью получения объектного или выполняемого модуля, а также сборки СПО и модулей ОСРВ Багет 3.3 для микропроцессоров RM7000, 1890ВМ5Ф (КОМДИВ64-СМП), 1890ВМ6Я (КОМДИВ64-РИО), 1890ВМ7Я (КОМДИВ128-РИО) или ОСРВ Багет 2.6 для микропроцессоров R3081, 1890ВМ1Т (1В578), 1890ВМ2Т (КОМДИВ), RM7000, 1890ВМ5Ф (КОМДИВ64-СМП), 1890ВМ6Я (КОМДИВ64-РИО), 1890ВМ7Я (КОМДИВ128-РИО) или Intel.
Что умеет
- СКРВ Багет 3.3 обеспечивает следующие возможности:
- компиляцию с различными уровнями оптимизации
- компиляцию с формированием отладочной информации в генерируемых объектных модулях. Задачей компилятора СКРВ Багет 3.3 является:
- анализ входных программ на языке Си
- выдача диагностических сообщений при обнаружении ошибок или некорректных программных конструкций
- генерация объектных модулей с заданными пользователем опциями (уровень оптимизации кода, уровень выдачи предупреждающих сообщений, включение отладочной информации), пригодных для загрузки и выполнения на целевой платформе. Для решения задач компиляции применяются следующие методы:
- Синтаксический анализ входной программы при помощи алгоритма конечного автомата со стеком; результатом анализа является представление входной программы в виде синтаксического дерева
- Преобразование в промежуточное списочное представление в виде RTL-кода
- Применение к промежуточному представлению заданных пользователем методов оптимизации, включающих:
- оптимизацию условных и безусловных переходов
- исключение общих подвыражений
- удаление неиспользуемых фрагментов кода
- оптимизацию распределения регистров
- оптимизацию циклов с возможностью их полного или частичного развертывания
- оптимизации кода, специфические для целевой платформы (например, заполнение слотов задержки)
- Свидетельство Роспатента
- № 2014615055 от 15.05.2014
- Код ОКПД 2
- 58.29.14 Средства разработки инструментальные и программное обеспечение языков программирования на электронном носителе
- ИНН правообладателя
- 7727086772
- Государство регистрации
- Россия
- Документация
- niisi.ru
- Стоимость и лицензия
- niisi.ru
По карточке заявления на сайте реестра, обновлена там 17.06.2025.
Решения Экспертного совета
- Включить в реестр — протокол № 528пр от 08.07.2025, голосование: за 19, против 0, воздержались 1; поручение оператору от 28.07.2025
- Класс программного обеспечения: Среды разработки, тестирования и отладки
История заявления
- 28.07.2025 — реестровая запись № 28787
- 08.07.2025 — решение Экспертного совета: Включить в реестр (протокол № 528пр)
- 20.06.2025 — появилось в списке со статусом «Включено в реестр»
Другие продукты правообладателя
- Графический сервер для операционной системы реального времени Багет 2.6 (ГСРВ 2.6) — Включено в реестр
- Программа просмотра и обработки протокола событий операционной системы и прикладной программы для операционной системы реального времени Багет 2.6 (Трассировщик ОС РВ Багет 2.6) — Включено в реестр
- Файловый сервер для операционной системы реального времени Багет 3.5 (ФСРВ Багет 3.5) — Включено в реестр
- Программа просмотра и обработки протокола событий операционной системы и прикладной программы для операционной системы реального времени Багет 3.5 (Трассировщик ОС РВ Багет 3.5) — Включено в реестр
- Си-компилятор для операционной системы реального времени Багет 3.5 (СКРВ Багет 3.5) — Включено в реестр
- Библиотека отладки для среды ПЛК (БО ПЛК) — Включено в реестр
- Библиотека географической информационной системы для операционной системы реального времени Багет 2.6 (БГИСРВ 2.6) — Включено в реестр
- Файловый сервер для операционной системы реального времени Багет 2.6 (ФСРВ 2.6) — Включено в реестр
Все заявления — НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИ
Похожие продукты в классе 04.04
- Owen Logic — Готовится экспертная оценка
- IGAS TREND — Готовится экспертная оценка
- SmartMLOps – система размещения и управления сервисами искусственного интеллекта — Готовится экспертная оценка
- UserGate InfraTwin — Готовится экспертная оценка
- Программа конфигурирования устройств серии БАЗИС — Дана экспертная оценка
- Trema IDE — Готовится экспертная оценка
- СмартМетрикс — На доработке заявителем
- Deckhouse Galleon — Подготовка голосования
Весь класс 04.04 Среды разработки, тестирования и отладки