Входной язык

Описание моделируемой системы — проект — включает в себя описание поведения и описание структуры.

Моделируемая система представляется в виде совокупности функцио­нальных элементов — устройств, соединенных функциональными связями, предполагается, что каждое устройство функционирует параллельно и независимо от остальных, а взаимодействие осуществляется по указанным связям.

Описание поведения устройства (окно “Structure”) включает в себя описание входов, выходов (при добавлении переменных входа/выхода (окно “Interface components”) войдите повторно в режим редактирования введенной переменной, после чего Вы сможете поместить соответствующее изображение входа/выхода в окне “Structure” к блоку устройства), компонент состояния (окно “State components”) и возможных параллельных процессов (окно “Processes”). Предполагается, что устройства функционируют в непрерывном времени. Входы, выходы и компоненты состояния могут иметь множества значений вещест­венного, целого, булевского, перечислимого и абстрактного типов, атакже, являться потенциальными или импульсными (дискретные события). Процессы могут быть непрерывными, дискретными и чистого временного запаздывания.

Непрерывные процессы задаются совокупностью обыкновенных дифференциальных уравнений первого порядка, разрешенных относительно производных, и совокупностью разрешенных алгебраических уравнений. Числен­ное решение дифференциальных уравнений осуществляется с помощью метода Рунге-Кутта с постоянным шагом, метода Рунге-Кутта, основанном на фор­мулах Дормана-Принса, с автоматическим выбором шага или метода Гира для решения т.н. “жестких” систем уравнений.

Дискретные процессы задаются т.н. “картой состояний” — совокупностью состояний процесса и множества возможных переходов между ними. Редактирование перехода осуществляется с помощью всплывающего меню при нажатии и удерживании левой клавиши мыши на изображении перпендикулярной переходу линии. С помощью правой кнопки мыши можно изменять форму дуг перехода. Причиной срабатывания перехода может быть дискретное событие или ис­тинность условия непрерывно в течение определенного времени. В резуль­тате срабатывания перехода могут скачком измениться значения потенци­альных компонент, возникнуть дискретные события, а также активизиро­ваться или пассивизироваться непрерывные процессы или процессы времен­ного запаздывания. Т.о., непрерывные процессы могут влиять на дискрет­ные с помощью изменения значений компонент, входящих в условия срабатывания переходов, а дискретные процессы могут влиять на непрерывные с помощью изменения компонент, входящих в правые части уравнений, а так­же путем начала и прекращения решения группы уравнений, входящих в данный непрерывный процесс.

Процессы чистого временного запаздывания воспроизводят на выходах значения входов без изменений, но с временным сдвигом. Значения входов могут изменяться как непрерывными процессами, так и действиями при срабатывании переходов.

Общие для всего проекта объекты (константы, типы, процедуры и функции) могут быть заданы в общей области проекта (окно “Common Area”).