Формальная спецификация на языке SDL уровня Data Link стандарта SpaceFibre

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