МЭК 61131-3

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

Типы данных на входной и выходной стороне должны иметь одинаковый тип данных.

П р и м е ч а н и е — В случае, если переменная уже находится в требуемом формате, функция не изме­ няет представления данных.

6.6.2.5.13 Функции перечислимых типов данных Функции выбора и сравнения, перечисленные в таблице 38 могут применяться к входным пере­

менным, имеющим перечислимый тип данных.

Пр и м е ч а н и е — К данной таблице применяются положения примечаний 1 и 2 таблицы 33.

Пр и м е ч а н и е — К данной таблице применяются положения подстрочных примечаний а) и Ь) таблицы 33.

6.6.2.5.14 Функции подтверждения Функции подтверждения проверяют, содержит ли заданный входной параметр допустимое значе­

ние.

Для типов данных REAL и LREAL определена перегруженная функция IS_VALID. Функции под­ тверждения возвращает результат FALSE, если действительное число не является числом (NaN) или равно бесконечности (+lnf, -Inf).

Разработчик может поддерживать дополнительные типы данных посредством функции подтверж­ дения IS_VALID. Результат таких расширений определяется разработчиком.

Перегруженная функция IS_VALID_BCD определена для типов данных BYTE, WORD, DWORD и LWORD. Функции подтверждения возвращает результат FALSE, если значение не удовлетворяет опре­ делению BCD.

Перечень свойств функций подтверждения приведен в таблице 39.

88

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

Т а б л и ц а 39 — Функции подтверждения

+------------------------------ +

6.6.3Функциональные блоки

6.6.3.1 Общие положения Функциональный блок — это программный компонент, который представляет хорошо определен­

ную часть программы для обеспечения модульности и структуризации.

Концепция функционального блока реализуется типом функционального блока и экземпляром функционального блока:

-тип функционального блока состоит из следующих частей:

- определение структуры данных, разделенной на входные, выходные и внутренние перемен­

ные;

-набор операций, выполняемых с элементами структуры данных при вызове экземпляра типа функционального блока;

-экземпляр функционального блока:

-это многократное, именованное применение (экземпляры) типа функционального блока;

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

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

Если не оговорено иное, к функциональным блокам применяются общие свойства программных компонентов;

-объектно-ориентированный функциональный блок.

Функциональный блок может быть расширен набором объектно-ориентированных свойств. Объектно-ориентированный функциональный блок является также расширенным множеством

классов.

6 .6 .3.2 Объявление типа функционального блока Тип функционального блока объявляется таким же образом, как и функции.

Свойства объявления типа функционального блока определены в таблице 40:

1) ключевое слово FUNCTION_BLOCK, за которым следует имя объявляемого функционального блока;

2 ) множество операций, составляющее тело функционального блока;

3)завершающее ключевое слово END_FUNCTION_BLOCK после тела функционального блока;

4)конструкции VARJNPUT, VAR_OUTPUT и VAR_IN_OUT, при необходимости, определяющие имена и типы переменных;

5)значения переменных, которые объявляются через конструкцию VAR_EXTERNAL, могут изме­ няться из функционального блока;

6 ) значения констант, которые объявляются через конструкцию VAR_EXTERNAL CONSTANT и не

могут изменяться из функционального блока;

7) массивы переменной длины могут использоваться как VAR_IN_OUT; 8 ) выходные и статические переменные могут инициализироваться;

9) переменные EN и ENO объявляются так же, как и входные и выходные переменные. Имеются специфические свойства функциональных блоков (отличные от свойств функций);

89

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

10)конструкция VAR...END_VAR и также конструкция VAR_TEMP...END_VAR, при необходимости, определяющие имена и типы внутренних переменных функциональных блоков. В отличие от функций, переменные, объявленные в секции VAR, являются статическими;

11)переменные секции VAR(CTaTH4 ecKne) могут быть объявлены как PUBLIC или PRIVATE. По умолчанию используется спецификатор доступ PRIVATE. Переменные PUBLIC могут использоваться вне функционального блока, используя такой же синтаксис, как при доступе к выходным переменным

функционального блока; 1 2 ) для входных, выходных и внутренних переменных функционального блока могут использо­

ваться квалификаторы RETAIN или NON_RETAIN, как показано в таблице 40;

13)в текстовых объявлениях квалификаторы R_EDGE и F_EDGE используются для обозначения функции детектирования фронта сигнала логических входных переменных. Это приводит к неявному объявлению в данном функциональном блоке функционального блока типа R_TRIG или F_TRIG, соот­ ветственно, для выполнения обнаружения требуемого фронта. Пример такой конструкции приведен в таблице 40;

14)в графических объявлениях для детектирования задних и передних фронтов сигнала приме­ няется конструкция, показанная в таблице. При использовании набора символов в графических объ­ явлениях, символы «>» и «<» показываются на границе функционального блока;

15)в объявлении внутренних переменных функционального блока может использоваться символ «*», как определено в таблице 16;

16)если в объявлениях типов стандартных входных и выходных переменных функционального блока используются родовые типы данных, то правила определения фактических типов выходных па­ раметров таких типов функциональных блоков являются частью определения типа функционального блока;

17)экземпляры других функциональных блоков, классов, объектно-ориентированных функцио­ нальных блоков могут объявляться во всех секциях переменных, за исключением секции VAR_TEMP;

18)экземпляр функционального блока, объявленный внутри типа функционального блока, не дол­ жен иметь, во избежание неопределенностей, такое же имя, как функция из той же области имен.

Таблица 40 — Объявление типа функционального блока

90

91

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

(*** Тело функционального блока ***)

DB_ON (IN:= IN, PT:= DB_TIME);

DB_OFF(IN:= NOTIN, PT:= DB_TIME);

DB_FF (S1:= DBJON.Q, R:= DB_OFF.Q);

OUT:= DB_FF.Q1;

ET_OFF:= DBjOFF.ET;

END_FUNCTION_BLOCK

92

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

а) Текстовое объявление (язык ST) FUNCTION BLOCK

(* Интерфейс внешних параметров *)

(* Тело типа функционального блока *)

END FUNCTION BLOCK

b) Гоафическое объявление (язык FBD)

Пример ниже показывает объявление и графическое использование входных переменных в функ­ циональном блоке, как задано в таблице 40.

Это объявление предположительное: эффект выполнения:

АСС:=АСС+Х1*Х2; Ь)Допустимое использование экземпляра функционального блока и функции

93

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

Х3:= X3+X1VC2; Х4:=ХЗ;

d) Допустимое использование экземпляра функционального блока

НЕДОПУСТИМО!

Соединение к входной-выходной пере­ менной А не является переменной или именем функционального блока (см. пре­ дыдущий текст)

е) Неразрешенное использование экземпляра FB

Следующий пример показывает функциональный блок AND_EDGE, используемый в таблице 40.

Пример 3 — Объявление типа функционального блокаAND_EDGE

Объявление функционального блокаAND_EDGE на примере выше в таблице 40 эквивалентно сле­ дующему объявлению:

FUNCTION_BLOCKAND_EDGE VARJNPUT

X:BOOL;

Y:BOOL; END_VAR VAR

X_TRIG: R_TRIG; Y_TRIG: F_TRIG;

END_VAR VAR_ OUTPUT

Z:BOOL;

END_VAR

94

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

X_TRIG(CLK:= X);

Y_TRIG(CLK:= Y);

Z:= X TRIG.Q AND Y TRIG.Q;

END FUNCTION BLOCK

Определение функциональных блоков обнаружения фронта R_TRIG и F_TRIG см. в таблице 44. 6.6.3.3 Объявление экземпляра функционального блока Экземпляр функционального блока объявляется таким же образом, как и описанные структурные

переменные.

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

Элементы, для которых начальные значения не перечислены в описанном выше перечне инициа­ лизации, получают неявное начальное значение, объявленное для этих элементов в объявлении типа функционального блока.

Таблица 41 — Объявление экземпляра функционального блока

6.6.3.4 Вызов функционального блока 6.6.3.4.1 Общие положения

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

Свойства вызова функционального блока (включая формальный и неформальный вызовы) по­ хожи на свойства вызова функций со следующими расширениями:

1)текстуальный вызов функционального блока состоит из имени экземпляра с последующим пе­ речнем параметров;

2)в графическом представлении имя экземпляра функционального блока располагается над бло­

ком;

3)входные переменные и выходные переменные экземпляра функционального блока сохраня­ ются и могут быть представлены как элементы структурированных типов данных. В связи с этим, при­ сваивание входных переменных и доступ к выходным переменным могут осуществляться разными спо­ собами:

a)немедленно во время вызова функционального блока (типовой способ); или

B) отдельно от вызова. Такие отдельные присваивания становятся эффективными во время сле­ дующего вызова функционального блока;

c) неприсвоенные или несоединенные входные переменные функционального блока сохраняют свои инициализированные значения от последнего предыдущего вызова при наличии такового.

Возможна ситуация, когда не указано фактического параметра для входной-выходной переменной экземпляра функционального блока, используемой в качестве входной переменной другого экземпляра другого функционального блока. Однако экземпляру функционального блока будет предоставлено до­ пустимое значение. Это может быть: значение, полученное инициализацией; сохраненное значение

95

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

предшествующего вызова; значение, ранее использовавшееся в функциональном блоке; значение, полученное методом. Если допустимое значение не будет получено, возникает ошибка времени вы­ полнения.

К вызову функционального блока применяются следующие правила:

4)Если экземпляр функционального блока вызывается с входным параметром EN=0, разработчик определяет установлены ли в экземпляре входные и входные-выходные переменные.

5)Имя экземпляра функционального блока может использоваться в качестве входного параметра экземпляра функционального блока, если оно объявлено как входная переменная в секции VARJNPUT или как входная-выходная переменная экземпляра функционального блока в секции VAR_IN_OUT.

6)Выходные значения экземпляра другого функционального блока, чье имя передается в функци­ ональный блок через конструкцию VARJNPUT, VARJN_OUT или VAR_EXTERNAL могут использовать­ ся для доступа, но не могут изменяться из функционального блока.

7)Функциональный блок, имя экземпляра которого передается в функциональный блок через кон­ струкцию VAR_IN_OUT или VAR_EXTERNAL, может вызываться из функционального блока.

8)Через конструкцию VARJN_OUT в функциональный блок могут передаваться только перемен­ ные или имена экземпляров функциональных блоков.

Это делается для предотвращения непреднамеренных изменений таких выходных переменных. Тем не менее, «каскадное» использование конструкций VARJNJDUT разрешено.

Свойства вызова функционального блока приведены в следующей таблице 42.

Та б л и ц а 42 — Вызов функционального блока

96

97