МЭК 61131-3

ГОСТ Р МЭК 61131-3— 2016

b) Функциональный эквивалент

П р и м е ч а н и е — В данном примере не показана полная сеть SFC и ее соответствующие объявления. Рисунок 24

Два возможных свойства управления действием приведены втаблице 60.

Т а б л и ц а 60 — Свойства управлением действием

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

158

ГОСТ Р МЭК 61131 -3—2016

6.7.5 Правила эволюции

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

Эволюции активных состояний шагов должны происходить вдоль направленных связей, когда они вызваны очисткой одного или большего числа переходов.

Переход разрешен, когда все предшествующие шаги, присоединенные к соответствующему сим­ волу перехода направленными связями, являются активными. Пересечение перехода происходит, ког­ да переход разрешен и когда соответствующее условие перехода является истинным.

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

Изменение шаг/переход и переход/шаг всегда должно поддерживаться в соединениях элементов SFC, то есть:

-два шага никогда не должны быть связаны непосредственно; они всегда должны разделяться переходом;

-два перехода никогда не должны быть связаны непосредственно; они всегда должны разделять­ ся шагом.

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

Ошибка возникнет, если имеется возможность того, что неприоритетные переходы в разветвлении выбора, как показано в свойстве 2а таблицы 61, одновременно являются истинными. Пользователь может предпринять меры предосторожности, чтобы избежать этой ошибки, как показано в свойствах 2Ь

и2с таблицы 61.

Синтаксис и семантика разрешенных комбинаций шагов и переходов определены в таблице 61. Время очистки перехода теоретически может считаться пренебрежительно малым, но оно никогда

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

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

Испытание условия (условий) перехода преемника активного шага не выполняться до тех пор, пока влияния активации шага не распространятся по программному компоненту, в которой описывается шаг.

Рисунок 25 демонстрирует применение данных правил. На этом рисунке активное состояние шага указано присутствием звездочки «*» в соответствующем блоке. Это примечание используется только для иллюстрации, и не является обязательным свойством языка.

Применение правил, приведенных в этом подразделе, не может предотвратить формулировку «небезопасных» SFC, таких как приведенная на рисунке 26 а), которая может продемонстрировать неконтролируемое распространение маркеров. Аналогично, применение этих правил не может предот­ вратить формулировку «недосягаемых» SFCs, таких как приведенная на рисунке 26 Ь), которая может проявлять «замкнутое» поведение. Система программируемого контроллера рассматривает наличие таких условий как ошибку.

Максимально допустимая ширина конструкций «дивергенции» и «конвергенции» в таблице 61 определяется разработчиком.

159

ГОСТ Р МЭК 61131-3—2016

Т а б л и ц а 61 — Эволюция последовательности (графическая форма)

Эволюция происходит от S5 к S8, если S5 активен, а условие перехода «f» равно TRUE (независимо от значения «е»), или от S5 к S6, только если S5 активен и «е» равно TRUE, a «f» равно FALSE

160

161

ГОСТ Р МЭК 61131-3—2016

Эволюция происходит к шагам S3, S6 и S7, если S2 активен, а переход Т2 равен TRUE или S5 активен, а переход Тб равен TRUE

162

ГОСТ Р МЭК 61131-3—2016

Продолжение таблицы 61

163

164

ГОСТ Р МЭК 61131-3—2016

165

ГОСТ Р МЭК 61131-3—2016

I

а) Переход не разреш ен (см. примечание 2)

Ь) П ереход разреш ен, но не очищ ен (X = 0)

166

ГОСТ Р МЭК 61131-3— 2016

I

с) Переход очищен (X = 1)

Рисунок 25 — Эволюция SFC (правила), лист 1

Пр и м е ч а н и е 1 — На данном рисунке активное состояние шага обозначено звездочкой «*» в соответству­ ющем блоке. Данное примечание используется только для иллюстрации и не является обязательным свойством языка.

Пр и м е ч а н и е 2 — В случае а) значение логической переменной X может быть как TRUE, так и FALSE.

Рисунок 25

167