Как стать автором
Обновить

Моделирование процедуры соединения bluetooth устройств и есть ли потребность в моделях такого рода

Время на прочтение 2 мин
Количество просмотров 6.6K
Здравствуйте! В этом году начинаю учиться в аспирантуре, на данный момент мне поставлена следующая задача: смоделировать взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий.
И здесь возникают следующие вопросы:
  • есть ли смысл в таком моделировании;
  • какой язык моделирования выбрать (на данный момент мне известны наиболее подходящие языки SDL и UML);
  • на каком уровне абстракции строить модель; строить модель работы конкретно каждого протокола или достаточно построить модель определенной процедуры взаимодействия устройств в самоорганизующейся сети;


В виде пробного варианта смоделировал процедуру соединения между устройствами bluetooth на языке UML с использованием диаграммы последовательности. Далее приведены текстовое описание данной процедуры и модель построенная по этому описанию.


Этап 1
Процедура inquiry позволяет устройству определить, какие приборы доступны, выяснить адреса и осуществить синхронизацию.
1.1 Посылаются пакеты inquiry и получаются отклики.
1.2 Если адресат, получивший пакет inquiry, находится в состоянии inquiry scan, тогда он способен принимать такие пакеты
1.3 Получатель переходит в состояние inquiry response и посылает отправителю пакет-отклик.
После того как процедура inquiry завершена, соединение может быть установлено с помощью процедуры paging.
Этап 2
Процедура paging реализует соединение. Для осуществления этой процедуры необходим адрес. Устройство, выполняющее процедуру paging, автоматически становится хозяином этого соединения.
2.1 Посылается пакет paging
2.2 Адресат получает этот пакет (находится в состоянии page Scan)
2.3 Получатель посылает отправителю пакет-отклик (находится в состоянии Slave Response)
2.4 Инициатор посылает адресату пакет FHS (находится в состоянии Master Response).
2.5 Получатель посылает отправителю второй пакет-отклик (находится в состоянии Slave Response)
2.6 Получатель и отправитель устанавливают параметры канала заданные инициатором (находятся в состоянии Master Response & Slave Response)
После установления соединения основной узел (master) посылает пакет POLL, чтобы проверить, синхронизовал ли клиент свои часы и настроился ли на коммутацию частот. Клиент при этом может откликнуться любым пакетом.

Исходя из этого описания построена следующая модель в виде диаграммы последовательности.



Приветствуется любая конструктивная критика. Вопрос для меня очень важный, так как не хочу тратить время на не неверные шаги.
Теги:
Хабы:
+1
Комментарии 8
Комментарии Комментарии 8

Публикации

Истории

Работа

Ближайшие события

Московский туристический хакатон
Дата 23 марта – 7 апреля
Место
Москва Онлайн
Геймтон «DatsEdenSpace» от DatsTeam
Дата 5 – 6 апреля
Время 17:00 – 20:00
Место
Онлайн