Комментарии 8
Очень многое зависит от целей. Например, если есть цель доказать что пакеты действительно передаются и не возникает дедлоков/лайвлоков, то UML не очень подходит. Потому что UML это язык описания и визуализации модели, но он не очень помогает проверить свойства и непротиворечивость системы.
Для формальной верификации моделей могу порекомендовать смотреть в сторону LTSA, Alloy и Promela.
А вообще разных тулов очень много. Выбор нужного все же надо делать исходя из целей. Нужно хоть какое-то понимание, что должно быть результатом работы.
Для формальной верификации моделей могу порекомендовать смотреть в сторону LTSA, Alloy и Promela.
А вообще разных тулов очень много. Выбор нужного все же надо делать исходя из целей. Нужно хоть какое-то понимание, что должно быть результатом работы.
Спасибо за комментарий! Результатом работы должна быть графическая модель которая отражает такие аспекты как маршрутизация в сети, установка соединения между узлами и т.д., в модели должно отражаться, какие сообщения передаются между узлами сети при тех или иных событиях, передача данных, смена маршрута, например.
Ок, допустим через какой-то промежуток времени у вас будет полная и непротиворечивая модель самоорганизующейся сети. Кто и как эту модель будет использовать?
Еще попросили опубликовать комментарий:
«… мне поставлена следующая задача: смоделировать взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий.»
Поставленную вам задачу можно решить с помощью таких средств, как NS2 или OMNeT++
Оба инструмента имеют открытый код, при необходимости можно добавить свой протокол.
Для верификации протокола также можно использовать такой инструмент, как SPIN (http://www.spinroot.com/)
«… мне поставлена следующая задача: смоделировать взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий.»
Поставленную вам задачу можно решить с помощью таких средств, как NS2 или OMNeT++
Оба инструмента имеют открытый код, при необходимости можно добавить свой протокол.
Для верификации протокола также можно использовать такой инструмент, как SPIN (http://www.spinroot.com/)
Спасибо за комментарии и советы! Отвечу на Ваш вопрос, это же университет, а я учусь в аспирантуре, все что делается по научной работе аспирантами в 80% случая никому не нужно и никак не будет использоваться. Как минимум такую модель можно будет анализировать и вносить какие-то изменения, дабы решить поставленную научную задачу (которая еще не поставлена по сути). Вообщем весь смысл в том, что бы внести что-то новое в технологию самоорганизующихся сетей, улучшить, например протокол, или аппаратную составляющую и т.д…
А вы не изучали RPL?
tools.ietf.org/html/rfc6550
Low-Power and Lossy Networks (LLNs) are a class of network in which
both the routers and their interconnect are constrained. LLN routers
typically operate with constraints on processing power, memory, and
energy (battery power). Their interconnects are characterized by
high loss rates, low data rates, and instability. LLNs are comprised
of anything from a few dozen to thousands of routers.
Задачу «взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий» он как раз и решает. Его предполагается применять в сценарии «по лесу абы как раскидали датчики, и они должны каким-то образом самоорганизоваться и наладить сетевой обмен друг через друга».
Наверняка есть и готовые модели.
tools.ietf.org/html/rfc6550
Low-Power and Lossy Networks (LLNs) are a class of network in which
both the routers and their interconnect are constrained. LLN routers
typically operate with constraints on processing power, memory, and
energy (battery power). Their interconnects are characterized by
high loss rates, low data rates, and instability. LLNs are comprised
of anything from a few dozen to thousands of routers.
Задачу «взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий» он как раз и решает. Его предполагается применять в сценарии «по лесу абы как раскидали датчики, и они должны каким-то образом самоорганизоваться и наладить сетевой обмен друг через друга».
Наверняка есть и готовые модели.
Речь идет о сенсорных сетях? Я правильно понял?
RPL это один из протоколов маршрутизации для сенсорных сетей, у меня стоит задача построить графическую модель протокола, который описывает процесс самоорганизации элементов в сеть, это может быть и RPL, а может быть и другой протокол, все зависит от используемой технологии (ZigBee или Wi-Fi, например). Основной вопрос в том, что оправдано ли такое моделирование, насколько поможет нам такая модель при изучении самоорганизующихся сетей, какой язык моделирования выбрать.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Моделирование процедуры соединения bluetooth устройств и есть ли потребность в моделях такого рода