Для исследования и верификации разрабатываемой научным коллективом математической модели модуля управления трафиком типа RED были созданы дискретная имитационная и непрерывная аналитическая модели. В связи с признанием созданных реализаций недостаточно удовлетворительными по различным причинам была поставлена задача разработки более адекватной имитационной модели. Для построения такой модели управляющего модуля маршрутизатора было принято решение использовать гибридный подход. Для компьютерной реализации модели использован язык физического моделирования Modelica и компилятор OpenModelica.
A discrete simulation model and a continuous analytical model were created to study and verify a mathematical model of the traffic control module RED developed by the research team. Because the implementations created weren't entirely satisfactory for various reasons we set a problem to develop a more adequate simulation model. It was decided to use a hybrid approach to construct the model of a router's control module. The physical modeling language Modelica and the compiler OpenModelica were used for computer implementation of the model.