Гибридное имитационное моделирование модуля активного управления трафиком

Для исследования и верификации разрабатываемой коллективом математической модели сетевых протоколов были созданы дискретная имитационная и непрерывная аналитическая модели. Однако созданные реализации признаны не достаточно удовлетворительными. В связи с этим была поставлена задача разработать более адекватную имитационную модель, возможно в рамках иной парадигмы моделирования. В качестве подхода к моделированию сетевых протоколов предлагается использовать гибридный (непрерывно-дискретный) подход. Для компьютерной реализации модели использован язык физического моделирования Modelica. Открытый язык программирования Modelica имеет несколько реализаций. Нами выбран компилятор OpenModelica. Применение гибридного подхода позволяет в рамках непрерывной модели учесть переходы между разными состояниями при функционировании сетевых протоколов. Рассмотренный подход позволил получить простую имитационную модель протокола ТСР. При этом данная модель имеет большой потенциал к расширению. Кроме того, представляется возможным использовать гибридный подход и при выполнении не только имитационного, но и аналитического моделирования.