Инструментальная среда разработки HARSP IDE

Государственная регистрация программы для ЭВМ № 2019665933 от 03.12.2019 Бюл. №12. Инструментальная среда разработки HARSP IDE. Хилько Дмитрий Владимирович, Шикунов Юрий Игоревич, Орлов Георгий Александрович, Степченков Юрий Афанасьевич; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН).  № заявки 2019664931, дата поступления заявки 21.11.2019.

Инструментальная среда HARSP IDE является существенно переработанной версией программы GAROS IDE и предназначена для разработки и отладки специализированного ПО — капсул и макетного образца нетрадиционной потоковой архитектуры, а также проведения программно-аппаратных испытаний разработанного ПО. Рабочий процесс в среде организован в соответствии с оригинальными методиками. Программа реализует: полный комплект функциональных возможностей программы GAROS IDE; перепроектированную архитектуру средств имитационного моделирования; новые функциональные возможности макетного образца архитектуры; переработанный для платформы Windows Presentation Foundation пользовательский интерфейс (WPF); переработанную архитектуру инструментальной среды для поддержки основных элементов WPF. Тип ЭВМ: х64-совместимый ПК; ОС: Windows 7/8/10.

Программа автоматизированного построения граф-капсул (ГРАФ)

Государственная регистрация программы для ЭВМ № 2018611551 от 02.02.2018 Бюл. №12. Программа автоматизированного построения граф-капсул (ГРАФ). Хилько Дмитрий Владимирович, Степченков Юрий Афанасьевич, Шикунов Юрий Игоревич, Орлов Георгий Александрович; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2017662648, дата поступления заявки 06.12.2017.

Программа является одной из подсистем интегрированной среды GAROS IDE, реализованной в качестве независимого инструментария. Программа предназначена для частичной автоматизации одного из основных этапов разработки ПО для нетрадиционной потоковой рекуррентной архитектуры. В состав программы входят средства построения графов и обработки pdf-документов. Программа обеспечивает: совместимость с проектами, создаваемыми при помощи GAROS IDE, на уровне обработки историй моделирования; построение средствами бесплатной библиотеки GraphViz граф-капсул на основе историй моделирования; сохранение граф-капсул в формате pdf-документов с использованием векторной графики; параметризация печати граф-капсул для обеспечения поддержки ГОСТ при оформлении проектной документации.

Программный комплекс проектирования и моделирования гибридных потоковых рекуррентных систем (СПРУТ)

Государственная регистрация программы для ЭВМ № 2017610828 от 18.01.2017. Программный комплекс проектирования и моделирования гибридных потоковых рекуррентных систем (СПРУТ). Хилько Дмитрий Владимирович, Степченков Юрий Афанасьевич, Шикунов Юрий Игоревич, Шикунов Дмитрий Игоревич; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2016661380, дата поступления заявки 26.10.2016.

Программный комплекс (ПК) является усовершенствованной версией подсистемы моделирования инструментальной среды GAROS IDE, реализованный в качестве независимого инструментария. Предназначен как для исследования модели вычислений, так и для автоматизации проектирования, моделирования и исследования принципов работы соответствующих гибридных потоковых рекуррентных систем. ПК обеспечивает: интеграцию с основными подсистемами среды GAROS IDE; инструменты проектирования гибридных потоковых рекуррентных систем; программное имитационное моделирование проектируемых систем; построение аппаратных VHDL-моделей на основе отлаженных имитационных моделей; аппаратное VHDL-моделирование; сбор, обработка и исследование статистических данных имитационного и аппаратного моделирования.

Инструментальная среда проектирования ПО для гибридной архитектуры рекуррентного обработчика сигналов (GAROS IDE)

Государственная регистрация программы для ЭВМ № 2015614004 от 01.04.2015 (опубликовано 20.04.2015). Инструментальная среда проектирования ПО для гибридной архитектуры рекуррентного обработчика сигналов (GAROS IDE). Хилько Дмитрий Владимирович, Степченков Юрий Афанасьевич, Шикунов Юрий Игоревич; заявитель Федеральное государственное бюджетное учреждение науки Институт проблем информатики Российской академии наук (ИПИ РАН). ‑ № заявки 2015610945, дата поступления заявки 17.02.2015

Программа является результатом глубинной интеграции программ СИМПРА Версия 2, СКАТ Версия 2 и ПРАПОР и последующего расширения функциональных возможностей. Программа представляет собой совокупность средств разработки и отладки ПО, синтаксического анализа и трансляции создаваемых программ, имитационного и VHDL моделирования полученных в результате трансляции результатов. Программа обеспечивает: создание, редактирование, синтаксический анализ символьных капсул; визуальное конструирование и редактирование капсул в СКАТ-представлении; трансляция символьных и СКАТ-капсул во внутренние представления входных данных VHDL и имитационной моделей; автоматизация моделирования множества капсул и съема результатов моделирования.

Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА). Версия 2

Государственная регистрация программы для ЭВМ № 2014610123 от 09.01.2014 (опубликовано 20.02.2014). Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА). Версия 2. Хилько Дмитрий Владимирович, Степченков Юрий Афанасьевич, Шикунов Юрий Игоревич, Дьяченко Юрий Георгиевич; заявитель Федеральное государственное бюджетное учреждение науки Институт проблем информатики Российской академии наук (ИПИ РАН).‑ № заявки 2013619997, дата поступления заявки 01.11.2013.

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

Система капсульного программирования и отладки (СКАТ). Версия 2

Свидетельство № 2013610198 Российская Федерация. Система капсульного программирования и отладки (СКАТ). Версия 2; свидетельство об официальной регистрации программы для ЭВМ / Зеленов Р.А., Степченков Ю.А., Волчек В.Н., Петрухин В.С., Хилько Д.В.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 09.01.2013 г.

Программа представляет собой интегрированную среду разработки, которая позволяет разрабатывать и отлаживать программное обеспечение (капсулы-алгоритмы) для РОУ (Рекуррентное Операционное Устройство).

Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА)

Свидетельство № 2013610199 Российская Федерация. Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА); свидетельство об официальной регистрации программы для ЭВМ / Хилько Д.В., Степченков Ю.А.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 09.01.2013 г.

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

Программа обработки результатов моделирования потоковой рекуррентной архитектуры (ПРАПОР)

Свидетельство № 2013610200 Российская Федерация. Программа обработки результатов моделирования потоковой рекуррентной архитектуры (ПРАПОР); свидетельство об официальной регистрации программы для ЭВМ / Хилько Д.В., Степченков Ю.А., Шнейдер А.Ю.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 09.01.2013 г.

Программа представляет собой совокупность инструментов для обработки результатов функционирования программы «СИМПРА», включающих в себя средства контроля соответствия форматов наборов входных и выходных данных требованиям исполняемых на моделях алгоритмов.

Система капсульного программирования и отладки (СКАТ)

Свидетельство № 2010610715 Российская Федерация. Система капсульного программирования и отладки (СКАТ); свидетельство об официальной регистрации программы для ЭВМ / Зеленов Р.А., Степченков Ю.А., Волчек В.Н., Петрухин В.С., Прокофьев А.А., Хилько Д.В.; заявитель и правообладатель ИПИ РАН.; дата регистрации 20.01.2010.

Рекурент под Windows 1

Государственная регистрация программы для ЭВМ №  № 2006611838 от 30.05.2006 Российская Федерация. Рекурент под Windows 1; Степченков Д.Ю., Степченков Ю.А.: заявитель и правообладатель ИПИ РАН. ‑ № заявки 2006611070; дата поступления заявки 06.04.2006.

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