Уравнения динамики функционирования СРВ, представленной на языке SML

Предложены решения по проблеме формализации процесса эволюционного проектирования распределенных систем реального времени (СРВ). Модель СРВ разрабатывается в виде модульной структуры и визуально представляется в форме графа потока данных (ГПД). Установлено, что в процессе проектирования изменениям в основном подвержены параметры структурной составляющей семантики модели. Построение ГПД и отображение на нём условий динамики функционирования СРВ выполняется на специально разработанном языке структурного моделирования (SML). Анализ, оптимизация и эволюция модели осуществляется в интерактивном режиме на структурном уровне представления ГПД с помощью методов и программных средств технологии структурного моделирования (SML-технологии). Эволюционный поиск в SML-технологии выполняется с помощью рекуррентных уравнений, описывающих в матричной форме динамику работы модели. По уравнениям динамики для разных значений параметров строятся траектории смены состояний модели. Предложено множество оценок качества траекторий по соблюдению условий реального времени, на основе которых принимаются решения по изменению значений параметров и получению приемлемого варианта модели СРВ.