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

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