Язык SFC

Относится также к графическим языкам программирования и используется для описания алгоритмов в виде функциональных карт [20]. Язык был разработан в конце 1970-х годов во Франции и позже стал основой для разработки международного стандарта IEC 848 «Подготовка функциональных карт для управляющих систем».

Функциональные карты описывают управляющие последовательности с помощью заранее определенных правил для управляющих действий, которые необходимо произвести в определенной последовательности, а также деталей исполнения каждого шага. Карты состоят из наборов связанных пар «шаг – условие выполнения шага». Переход представляет собой набор операций над переменными. Переход – набор логических условных выражений, определяющий передачу управления следующей паре «шаг – переход». Шаги и переходы обязательно чередуются.

Функциональная карта разделена на две части:

1) порядковая часть (sequence part) – описывает последовательность главных управляющих шагов (левая сторона), но не содержит исполняемых действий;

2) управляющая часть (control part) – описывает исполняемые действия (блоки справа от шагов).

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

Рисунок 3.9

Порядковая часть функциональной карты в соответствии со стандартом IEC 848 состоит из столбца пронумерованных блоков, изображающих одиночные шаги. Вертикальная линия, соединяющая каждый блок с последующим, изображает активные соединения (прямые связи). Каждый переход от шага к шагу связан с логическим условием, называемым условием перехода (transition condition). Булево выражение для условия перехода записано рядом с горизонтальной чертой. Если условие удовлетворено, т.е. соответствующее выражение истинно, происходит переход и система выполняет следующий шаг.