Уравнения динамики функционирования СРВ, представленной на языке SML А. Погребной, Д. Погребной und В. Погребной

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