ГОСТ IEC 60848—2016
Приложение С
(справочное)
Взаимосвязь между языками спецификаций GRAFCET по IEC 60848 и SFC по IEC 61131-3
С.1 Введение
У каждого из стандартов. IEC 60848 и IEC 61131-3. имеется своя область распространения:
- для IEC 60848— языкспецификации режимов работы (GRAFCET — графическое представление перехо
дов и этапов), не зависящий от реализации какой-либо конкретной технологии:
- для IEC 61131-3 — специализированный язык программирования (SFC — последовательностная функ
циональная схема).
В GRAFCET no IEC 60848 для описания/спецификации поведения системы используется диаграмма grafcet,
как бы при наблюдении системы «со стороны», в то время как язык SFC по IEC 61131-3 используется для описания
программно реализованной структуры (ее части) «внутри» системы.
Если эти два языка применить для описания конкретной системы управления, то оба отображения (два доку
мента различного вида) будут вданном случае выглядеть графически похожими. Тем не менее они имеют различ
ный смысл, хотя и графически идентичны. Другими словами, структура программного обеспечения, описанная в
программной диаграмме, ведет себя таким образом, что она может быть описана с использованием аналогичной
диаграммы grafcet. Свойства основных элементов, связанных с представлениями графического элемента, тем не
менее различны в этихдвух случаях.
Использование спецификации по IEC 60848: 2012 следует интерпретировать как этап перед разработкой
программы по IEC61131-3. В настоящее время отсутствует текстуальное представление диаграммы по IEC 60848:
2012, позволяющее интерпретировать ее и превратить в программудля автоматической системы.
С.2 Детализация
a) GRAFCET обозначает язык спецификации логического поведения систем. Эта спецификация не зависит
от реализации конкретной технологии.
b
) SFC обозначаетодин из языков программирования,определенный в IEC 61131-3:1993. Этот язык иниции
рован IEC 60848:1988. но отсутствует тождество между двумя графическими изображениями и семантикой обоих
языков.
c) Внастоящее время не известнони одного метода трансляции языка спецификации GRAFCET в программу
на языке SFC: для этого требуется перевести теоретическую семантику первого языка в семантику реализации
второго языка. Поэтому более синтетический и более эргономичный язык GRAFCET используют, как правило, для
глобальной спецификации, в то время как язык SFC — для детализированного представления.
d) При пересмотре IEC 60848: 1988 были сохранены сложившийся синтаксис первого издания и независи
мость по отношению к реализации, но были введены следующие модификации:
- более четкое определение элементов и правил эволюции (внутренние события, различие между присваи
ванием и локализацией, эволюция перехода и т. п.);
- как следствие исключается потребность в более тонкой интерпретации спецификации поведения с учетом
принципа или алгоритма реализации, чтобы понять эволюцию в сложных случаях;
- появление вспомогательных концептуальных инструментов, способных подтвердить спецификации, в
частности, путем расчета доказательности свойств;
- появление вспомогательных инструментов для реализации, способных гарантировать трансляцию вдиаг
раммы или на языки, адаптированные к выбранным технологиям;
- более четкое определение средств структурирования (макроэтапы, охватывающие этапы и т. п.), ассо
циированных с языком GRAFCET. способных поддерживать использование эффективных концептуальных
методов;
- более совершенная формализация интерфейсов (предикат, локализация) междулогическими переменны
ми. с которыми обращается GRAFCET. и другими типами переменных, необходимых для целостного описания
поведения системы, заданной к реализации.
e) Поисксистематической идентичности между элементом языка GRAFCET исоответствующим емуэлемен
том языка SFC приводит к наложению запрограммированных семантик второго языка на первый. Подобный подход
будет сводить роль стандарта GRAFCET. IEC 60848:1988. исключительно к общему определению символов и
правил, предназначенных для поддержки определений элементов SFC по IEC 61131-3:1993.
0 IEC 61131-3:1993 определяет языки программирования, специально адаптированные для ПЛК (програм
мируемые логические контроллеры). Поэтомупредставляется маловероятным, чтоданное программное описание
алгоритма работы системы может быть применено в других технологических контентах (электромеханические,
электронные, пневматическиесистемы и т.п.).
42