Формальная спецификация на языке SDL блока управляющих кодов для стандарта SpaceFibre-RUS

Наименование РИД	Формальная спецификация на языке SDL блока управляющих кодов для стандарта SpaceFibre-RUS
Реферат	Программа представляет собой формальную спецификацию блока управляющих кодов для стандарта SpaceFibre на графическом языке SDL. Данная спецификация позволяет проверять механизмы стандарта на непротиворечивость и полноту описания. Также возможно проведение моделирования и проверки работы блока управляющих кодов. Язык программирования: SDL Объем программы для ЭВМ: 1 Мб
Возможные направления использования	Данная спецификация позволяет проверять механизмы стандарта на непротиворечивость и полноту описания.
Количество опытных образцов	1
Количество просмотров	4
Наличие дополнительных файлов	False
Использование РИД правообладателем	False
Внешнее использование РИД	False
НИОКТР (JSON)	{}
ИКСИ (JSON)	[]
ИКСПО (JSON)	[]
ОЭСР (JSON)	[]
Дата первого статуса	2025-12-16T09:36:35.271566+00:00
Предполагаемый тип результата	Программа для ЭВМ
Ожидаемая роль	Исполнитель
Заказчик	ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ"
Руководитель работы	Оленев Валентин Леонидович
Руководитель организации	Антохина Юлия Анатольевна
Регистрационный номер НИОКТР	—
Последний статус	Подтверждена, 625122200469-3, 2025-12-22 19:53:54 UTC
ОКПД	Нет
Ключевые слова	SDL блок; управляющие коды; стандарт SpaceFibre
Исполнители	ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ АЭРОКОСМИЧЕСКОГО ПРИБОРОСТРОЕНИЯ"
Авторы	Лавровская Ирина Яковлевна; Степанов Владимир Евгеньевич
Коды тематических рубрик	49.37.29 - Сети передачи данных
OESR	Техника и системы связи
Приоритеты научно-технического развития	Отсутствует