The parameters of the model and its state have been introduced for the dynamic model of real time distributed system introduced in SML language in the form of data flow graph. The recurrence equations describing in matrix form the dynamic of model functioning in discrete time were proposed. The functions of modules transition from one state to another were developed. The obtained results allow constructing in static the calculated paths of the model state change, analyzing them and optimizing model dynamic characteristics.

Для динамической модели распределённой системы реального времени, представленной на языке SML в виде графа потока данных, введены параметры модели и её состояния. Предложены рекуррентные уравнения, описывающие в матричной форме динамику функционирования модели в дискретном времени. Разработаны функции переходов модулей из одного состояния в другое. Полученные результаты позволяют в статике строить расчётные траектории смены состояний модели, выполнять их анализ и оптимизацию динамических характеристик модели.