IEC 62714-4:2020

Engineering data exchange format for use in industrial automation systems engineering - Automation markup language - Part 4: Logic

IEC 62714-4:2020 specifies the integration of logic information as part of an AML model for the data exchange in a heterogenous engineering tool landscape of production systems.
This document specifies three types of logic information: sequencing, behaviour, and interlocking information.
This document deals with the six following sequencing and behaviour logic models (covering the different phases of the engineering process of production systems) and how they are integrated in AML: Gantt chart, activity-on-node network, timing diagram, Sequential Function Chart (SFC), Function Block Diagram (FBD), and mathematical expression.
This document specifies how to model Gantt chart, activity-on-node network, and timing diagram and how they are stored in Intermediate Modelling Layer (IML).
This document specifies how interlocking information is modelled (as interlocking source and target groups) in AML. The interlocking logic model is stored in Function Block Diagram (FBD).
This document specifies the AML logic XML schema that stores the logic models by using IEC 61131-10.
This document specifies how to reference PLC programs stored in PLCopen XML documents.
This document does not define details of the data exchange procedure or implementation requirements for the import/export tools.
The contents of the corrigendum of November 2020 have been included in this copy.

Format d'échange de données pour une utilisation dans l'ingénierie des systèmes d'automatisation industrielle - Automation markup language - Partie 4: Logique

IEC 62714-4:2020 spécifie l'intégration des informations concernant la logique dans le cadre d'un modèle AML pour l'échange de données dans un environnement d'outils techniques hétérogène des systèmes de production.
Le présent document spécifie trois types d'informations concernant la logique: les informations relatives au séquencement, au comportement et au verrouillage.
Le présent document porte sur les six modèles logiques de séquencement et de comportement suivants (couvrant les différentes phases du processus d'ingénierie des systèmes de production) et sur la manière de les intégrer dans AML: diagramme de Gantt, réseau de représentation nodale, chronogramme, diagramme fonctionnel en séquence (SFC - sequential function chart), diagramme de bloc fonctionnel (FBD - function block diagram) et expression mathématique.
Le présent document spécifie la manière de modéliser le diagramme de Gantt, le réseau de représentation nodale et le chronogramme et de les archiver dans la couche de modélisation intermédiaire (IML - intermediate modelling layer).
Le présent document spécifie la manière de modéliser les informations concernant le verrouillage (source de verrouillage et groupes cibles, par exemple) dans AML. Le modèle logique de verrouillage est archivé dans le diagramme de bloc fonctionnel (FBD).
Le présent document spécifie le schéma XML de logique AML qui archive les modèles logiques selon l'IEC 61131-10.
Le présent document spécifie la manière de référencer les programmes PLC archivés dans les documents XML PLCopen.
Le présent document ne précise pas la procédure d'échange de données ni les exigences de mise en œuvre pour les outils d'importation/exportation.
Le contenu du corrigendum de novembre 2020 a été pris en considération dans cet exemplaire.

General Information

• Status: Published
• Publication Date: 15-Jun-2020
• ICS: 01 - GENERALITIES. TERMINOLOGY. STANDARDIZATION. DOCUMENTATION
• ICS: 13.220.40 - Ignitability and burning behaviour of materials and products
• ICS: 25.040.40 - Industrial process measurement and control
• ICS: 29.020 - Electrical engineering in general
• Technical Committee: SC 65E - Devices and integration in enterprise systems
• Drafting Committee: WG 9 - TC 65/SC 65E/WG 9
• Current Stage: PPUB - Publication issued
• Start Date: 25-Jun-2020
• Completion Date: 16-Jun-2020

Relations

• Corrected By: IEC 62714-4:2020/COR1:2020 - Corrigendum 1 - Engineering data exchange format for use in industrial automation systems engineering - Automation markup language - Part 4: Logic
• Effective Date: 05-Sep-2023

Standards Content (Sample)

IEC 62714-4 ®
Edition 1.0 2020-06
INTERNATIONAL
STANDARD
NORME
INTERNATIONALE
colour
inside
Engineering data exchange format for use in industrial automation systems
engineering – Automation markup language –
Part 4: Logic
Format d'échange de données pour une utilisation dans l'ingénierie des
systèmes d'automatisation industrielle – Automation markup language –
Partie 4: Logique
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form
or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from
either IEC or IEC's member National Committee in the country of the requester. If you have any questions about IEC
copyright or have an enquiry about obtaining additional rights to this publication, please contact the address below or
your local IEC member National Committee for further information.

Droits de reproduction réservés. Sauf indication contraire, aucune partie de cette publication ne peut être reproduite
ni utilisée sous quelque forme que ce soit et par aucun procédé, électronique ou mécanique, y compris la photocopie
et les microfilms, sans l'accord écrit de l'IEC ou du Comité national de l'IEC du pays du demandeur. Si vous avez des
questions sur le copyright de l'IEC ou si vous désirez obtenir des droits supplémentaires sur cette publication, utilisez
les coordonnées ci-après ou contactez le Comité national de l'IEC de votre pays de résidence.

IEC Central Office Tel.: [phone]
3, rue de Varembé [e-mail]
CH-1211 Geneva 20 www.iec.ch
Switzerland
About the IEC
The International Electrotechnical Commission (IEC) is the leading global organization that prepares and publishes
International Standards for all electrical, electronic and related technologies.

About IEC publications
The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have the
latest edition, a corrigendum or an amendment might have been published.

IEC publications search - webstore.iec.ch/advsearchform Electropedia - www.electropedia.org
The advanced search enables to find IEC publications by a The world's leading online dictionary on electrotechnology,
variety of criteria (reference number, text, technical containing more than 22 000 terminological entries in English
committee,…). It also gives information on projects, replaced and French, with equivalent terms in 16 additional languages.
and withdrawn publications. Also known as the International Electrotechnical Vocabulary

(IEV) online.
IEC Just Published - webstore.iec.ch/justpublished
Stay up to date on all new IEC publications. Just Published IEC Glossary - std.iec.ch/glossary
details all new publications released. Available online and 67 000 electrotechnical terminology entries in English and
once a month by email. French extracted from the Terms and Definitions clause of
IEC publications issued since 2002. Some entries have been
IEC Customer Service Centre - webstore.iec.ch/csc collected from earlier publications of IEC TC 37, 77, 86 and
If you wish to give us your feedback on this publication or CISPR.

need further assistance, please contact the Customer Service

Centre: [e-mail].
A propos de l'IEC
La Commission Electrotechnique Internationale (IEC) est la première organisation mondiale qui élabore et publie des
Normes internationales pour tout ce qui a trait à l'électricité, à l'électronique et aux technologies apparentées.

A propos des publications IEC
Le contenu technique des publications IEC est constamment revu. Veuillez vous assurer que vous possédez l’édition la
plus récente, un corrigendum ou amendement peut avoir été publié.

Recherche de publications IEC - Electropedia - www.electropedia.org
webstore.iec.ch/advsearchform Le premier dictionnaire d'électrotechnologie en ligne au
La recherche avancée permet de trouver des publications IEC monde, avec plus de 22 000 articles terminologiques en
en utilisant différents critères (numéro de référence, texte, anglais et en français, ainsi que les termes équivalents dans
comité d’études,…). Elle donne aussi des informations sur les 16 langues additionnelles. Egalement appelé Vocabulaire
projets et les publications remplacées ou retirées. Electrotechnique International (IEV) en ligne.

IEC Just Published - webstore.iec.ch/justpublished Glossaire IEC - std.iec.ch/glossary
Restez informé sur les nouvelles publications IEC. Just 67 000 entrées terminologiques électrotechniques, en anglais
Published détaille les nouvelles publications parues. et en français, extraites des articles Termes et Définitions des
Disponible en ligne et une fois par mois par email. publications IEC parues depuis 2002. Plus certaines entrées
antérieures extraites des publications des CE 37, 77, 86 et
Service Clients - webstore.iec.ch/csc CISPR de l'IEC.

Si vous désirez nous donner des commentaires sur cette
publication ou si vous avez des questions contactez-nous:
[e-mail].
IEC 62714-4 ®
Edition 1.0 2020-06
INTERNATIONAL
STANDARD
NORME
INTERNATIONALE
colour
inside
Engineering data exchange format for use in industrial automation systems

engineering – Automation markup language –

Part 4: Logic
Format d'échange de données pour une utilisation dans l'ingénierie des

systèmes d'automatisation industrielle – Automation markup language –

Partie 4: Logique
INTERNATIONAL
ELECTROTECHNICAL
COMMISSION
COMMISSION
ELECTROTECHNIQUE
INTERNATIONALE
ICS 25.040.40 ISBN 978-2-8322-8399-8

– 2 – IEC 62714-4:2020 © IEC 2020
CONTENTS
FOREWORD . 9
INTRODUCTION . 11
1 Scope . 13
2 Normative references . 13
3 Terms, definitions and abbreviated terms . 14
3.1 Terms and definitions . 14
3.2 Abbreviated terms . 15
4 Conformity . 16
5 Overview . 16
5.1 Logic information in production system engineering . 16
5.2 Logic models in production system engineering . 17
5.3 Storing logic models in AML logic XML . 18
5.4 Referencing logic information . 20
6 Logic models . 21
6.1 General . 21
6.2 Gantt charts . 21
6.2.1 General . 21
6.2.2 Graphical elements . 21
6.2.3 Chart structure. 21
6.2.4 Logic information . 22
6.2.5 Logic information within Gantt chart . 22
6.3 Activity-on-node networks . 22
6.3.1 General . 22
6.3.2 Graphical elements . 22
6.3.3 Node structure . 23
6.3.4 Network structure . 23
6.3.5 Logic information . 23
6.3.6 Logic information within activity-on-node networks. 23
6.4 Timing diagrams . 24
6.4.1 General . 24
6.4.2 Graphical elements . 24
6.4.3 Diagram structure . 25
6.4.4 Logic information . 25
6.4.5 Logic information within timing diagrams . 26
6.5 Sequential function charts . 26
6.6 Function block diagrams . 27
6.7 Mathematical expression. 27
7 AML logic XML schema description . 27
7.1 Schema overview . 27
7.1.1 Use of IEC 61131-10 schema . 27
7.1.2 Schema versioning . 28
7.2 Root element "AMLLogic" . 29
7.2.1 General . 29
7.2.2 Attributes . 29
7.2.3 Sub-element "WriterHeader" . 29
7.2.4 Sub-element "Types" . 29

7.2.5 Sub-element "Documentation" . 30
7.3 Complex type "FunctionBlock" . 30
7.3.1 General . 30
7.3.2 Attributes . 30
7.3.3 Sub-element "Parameters" . 30
7.3.4 Sub-element "Vars . 30
7.3.5 Sub-element "MainBody" . 30
7.3.6 Complex type "ParameterSet" . 31
7.3.7 Complex type "VariableDecl" . 31
7.4 Complex Type "IML" . 32
7.4.1 General . 32
7.4.2 Attributes . 33
7.4.3 Sub-element "Resource" . 33
7.4.4 Sub-element "TimeInformation" . 33
7.4.5 Choice of "IML***" element . 33
7.4.6 Complex type "IMLStep" . 33
7.4.7 Complex type "IMLTransition" . 34
7.4.8 Complex type "IMLSimultaneousDivergence" . 35
7.4.9 Complex type "IMLSimultaneousConvergence" . 35
7.5 Complex Type "MathematicalExpression" . 35
7.5.1 General . 35
7.5.2 Attributes . 36
7.5.3 Sub-element "VariableMapping" . 36
7.5.4 Sub-element "MathML" . 36
7.6 Simple type "LogicModelTypeEnum" . 36
7.7 Simple type "TimeUnion" .
...