6.3. Контрольные вопросы

1. Для чего предназначен пакет OPC Toolbox?

2. В чем заключается особенность блоков OPC Read и OPC Write в клиент-серверной архитектуре?

3. Для чего предназначен дополнительный выходной порт блока OPC Configuration?

4. Какие выходы имеет блок OPC Read, какие функции они выполняют?

5. Какими свойствами должен обладать сигнал, созданный с помощью конфигуратора OPC сервера, подаваемый на вход модели в Simulink?

6. Какая программная среда может выступать в роли клиента, а какая в роли сервера?

Лабораторная работа №7 создание simulink-моделей с использованием инструментария stateflow. Взаимодействие сред simulink/stateflow и infinity

Цель работы: овладение навыками создания Simulink-моделей с применением инструментария StateFlow; знакомство с основными свойствами инструментария Stateflow; овладение механизмом взаимодействия Simulink/Stateflow-моделей со средой Infinity.

7.1. Краткие теоретические сведения

StateFlow является интерактивным инструментом разработки в области моделирования сложных, управляемых событиями систем. Он тесно интегрирован с MATLAB и Simulink и основан на теории конечных автоматов. Конечный автомат – система с дискретным временем и определенным в ней множеством состояний и правилами формирования переходов. Для моделирования конечных автоматов можно использовать стандартные логические блоки системы Simulink, однако программное средство Stateflow обеспечивает возможность формирования конечных автоматов путем построения иерархических моделей в виде подсистем. Состояние конечного автомата может быть представлено как вектор, состоящий из конечного числа элементов, подобно вектору состояния непрерывной и дискретной частей системы. Одним из способов описания логических операций являются таблицы истинности. Таблица истинности определяет возможные состояния системы, но не отображает условия срабатывания переходов от одного состояния к другому. Для представления множества состояний и доступных переходов при наступлении заданных событий можно использовать диаграммы переходов состояний.

Диаграммы переходов состояний являются структурой, включающей изображения состояний, соединяемых ветвями, определяющими события для перехода в новое состояние (допустимые переходы).

Для удобства описания сложных систем вводится иерархия диаграмм и параллельное выполнение нескольких состояний. Программное средство Stateflow обеспечивает графическое изображение состояний с учетом начального значения и событий, описываемых предикатами над множеством дискретных и (или) непрерывных переменных. Если предикат принимает истинное значение, то условие смены состояния выполняется. Диаграммы Stateflow также обеспечивают возможность ветвления с использованием составных переходов, которые могут включать последовательные события и точки принятия решения. Обозначение перехода на диаграмме Stateflow имеет четыре части, каждая из которых не является обязательной:

событие[условие]{действие условия}/действие перехода.

Здесь событие имеет такое же значение, как и на диаграмме переходов состояний, условие – это предикат – функция, переменные которой принимают значения из некоторого множества, а сама она принимает два значения: «истина» или «ложь». Действие условия – любое действие, которое должно произойти, если предикат принимает значение «истина», независимо от того, произошел переход или нет, действие перехода – любое действие, которое должно произойти как результат перехода. Если событие не представлено в обозначении перехода, но условие присутствует, переход происходит, когда условие принимает значение «истина». Имеется возможность реализации составных переходов.