Настройка отображения графа состояний

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

Комбинационные элементы визуализации состояний графа будут настраиваться, начиная с 0 и далее по часовой стрелке. Если значение переменной текущего состояния соответствует номеру комбинационного элемента, то он должен быть закрашен ярким цветом, указывающим на то, что комбинационный автомат находиться в текущем состоянии. Если значение переменной предыдущего состояния соответствует номеру комбинационного элемента, то он должен быть закрашен тусклым цветом, указывающим на то, что данное состояние является предыдущим состоянием комбинационного автомата. Если значение переменной предыдущего состояния и значение переменной текущего состояния соответствуют номеру комбинационного элемента (это происходит при запуске среды исполнения zenon RT) он должен быть закрашен ярким цветом. Если значение переменной предыдущего состояния и значение переменной текущего состояния не соответствуют номеру комбинационного элемента, он должен быть закрашен цветом по умолчанию.

Для того что бы настроить визуализацию комбинационного элемента состояния графа необходимо перейти в режим конфигурирования данного элемента. В окне конфигурации с помощью кнопки «Change …» нужно изменить переменную, связанную с символом «X1» на переменную текущего состояния, после чего используя кнопку «Add …» добавить переменную предыдущего состояния, которая будет автоматически связана с символом «X2». Далее используя кнопку «New» необходимо добавить два статуса.

Самый верхний статус при отображении комбинационного элемента имеет самый высокий приоритет и должен соответствовать текущему состоянию комбинационного автомата. Поэтому необходимо снять флажок «Original symbol colors» и для фона символа «Background» задать яркий цвет. Далее нужно сбросить флажки значений битов переменной в неопределенное состояние, что соответствует точке в центре флажка и нажать кнопку «Formula…» для открытия окна ввода формулы. Формулы используются для определения статуса, в котором должен находиться комбинационный элемент. Если условие формулы выполняется, комбинационный элемент будет отображаться в соответствии с данным статусом. Если одновременно выполняется условия формул нескольких статусов, то комбинационный элемент будет отображаться в соответствии со статусом, имеющим наивысший приоритет.

Каждое отдельное условие в формуле должно обрамляться круглыми скобками, для добавления в формулы значения переменной необходимо развернуть дерево соответствующей переменной и дважды нажать левой кнопкой мыши по «Value» после чего в формулу будет добавлена символьная запись соответствующая значению переменной. Для проверки равенства значения переменной используется знак равно справа от которого задается значение, которому должна быть равна переменная. После завершения ввода формулы необходимо нажать кнопку «OK». Если значение переменной равно 0, то символ комбинационного элемента соответствующий 0 состоянию будет закрашен ярким цветом. Аналогично настройке статуса текущего состояния выполняется настройка статуса предыдущего состояния. Так как статус текущего состояния имеет наивысший приоритет, то при выполнении условий формул обоих статусов символ комбинационного элемента будет закрашен ярким цветом. По окончанию настройки статусов необходимо нажать кнопку «OK».

Таким образом, необходимо настроить визуализацию всех комбинационных элементов состояний графа. Отличие между их настройками будет заключаться в условиях формул, для каждого комбинационного элемента в формуле будет использоваться свой номер соответствующий состоянию комбинационного автомат с памятью. Настройка отображения комбинационных элементов отвечающих за подсветку дуг перехода из предыдущего состояния в текущее выполняется аналогично настройке комбинационных элементов состояний графов. Так как дуга перехода должна подсвечиваться только в том случае если совпадает предыдущее и текущее состояние комбинационного автомата, то достаточно добавить только один статус. Формула статуса должна проверять значение переменной предыдущего состояния и значение переменной текущего состояния, для объединения двух условий используется оператор «AND» (логическое И).

По завершению настройки графа состояний можно выполнить сборку программы для SCADA системы и проверить правильность ее функционирования, в соответствии с автоматическим формированием комбинаций состояний датчиков.