УДК 004.72
ФОРМАЛИЗАЦИЯ ПЕРЕДАЧИ ДАННЫХ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ РЕАЛЬНОГО ВРЕМЕНИ
К. И. Никишин, к.т.н., доцент, доцент кафедры ВТ ПГУ, Пенза, Россия;
orcid.org/0000-0001-7966-7833, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
И. В. Акифьев, к.э.н., доцент, доцент кафедры ВТ ПГУ, Пенза, Россия; e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Распределенные вычислительные системы (РВС) позволяют объединять ресурсы множества вычислительных и сетевых устройств, обеспечивая при этом высокую производительность, масштабируемость систем. Ключевыми задачами исследования и проектирования РВС становятся ор- ганизация обмена данными, синхронизация процессов и управление ресурсами, что достигается посредством специальных вычислительных и сетевых алгоритмов, протоколов. При этом к требованиям, предъявляемым к современным коммутаторам, относятся мобильность, гибкость, масштабируемость, динамическое управление ресурсами в самих РВС. В условиях распределённых систем коммутаторы должны обеспечивать высокую скорость передачи данных, минимальные задержки, потери данных и надежность передачи данных к изменяющимся условиям сети РВС. Особый интерес представляет передача данных в сетях РВС беспилотных летательных аппаратов (БПЛА). В статье рассмотрена организация сети РВС в БПЛА, описаны типы данных при передаче в БПЛА с учетом временных ограничений. Цель исследования – формализовать передачу данных в режиме реального времени в распределенных вычислительных системах в виде логико-алгебраических выра- жений, высказываний. Задачами исследования являются описание передачи данных, формулирование проблем в сетях РВС БПЛА, формализация передачи данных в РВС. Описана формализация постановки задачи передачи данных в сетях РВС на основе алгоритма ранней диагностики потерь данных в режиме реального времени с контролем таймаутов. С помощью логико-алгебраических высказываний были спроектированы цифровые автоматы Мура, в дальнейшем высказывания использовались в моделях на основе математического аппарата цветных временных иерархических сетей Петри.
Ключевые слова: распределенные вычислительные системы, беспилотные летательные аппараты, коммутатор, сети Петри, логико-алгебраические высказывания, цифровые автоматы, данные в режиме реального времени.