Shopping Cart

No products in the cart.

BS EN IEC 62714-4:2020

$227.44

Engineering data exchange format for use in industrial automation systems engineering. Automation markup language – Logic

Published By Publication Date Number of Pages
BSI 2020 116
Guaranteed Safe Checkout
Categories: ,

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. Weโ€™re here to assist you 24/7.
Email:[email protected]

This part of IEC 62714 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).

NOTE 1 With this, it is possible to transform one logic model into another one. A forward transformation supports the information enrichment process and reduces or avoids a re-entry of information between the exchanging engineering tools.

NOTE 2 Mapping of other logic models, e.g. event-driven logic models like state charts, onto IML is possible.

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.

PDF Catalog

PDF Pages PDF Title
2 undefined
5 Annex ZA(normative)Normative references to international publicationswith their corresponding European publications
7 English
CONTENTS
14 FOREWORD
16 INTRODUCTION
Figures
Figure 1 โ€“ Overview of the engineering data exchange format AML
18 1 Scope
2 Normative references
19 3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
20 3.2 Abbreviated terms
21 4 Conformity
5 Overview
5.1 Logic information in production system engineering
Tables
Table 1 โ€“ Abbreviated terms
22 5.2 Logic models in production system engineering
Figure 2 โ€“ Example of system representation with roles of information in AML
23 5.3 Storing logic models in AML logic XML
Figure 3 โ€“ Logic models in AML
24 Figure 4 โ€“ Storing logic models in AML logic XML
25 5.4 Referencing logic information
Figure 5 โ€“ Modelling elements of the AML logic XML
26 6 Logic models
6.1 General
6.2 Gantt charts
6.2.1 General
6.2.2 Graphical elements
6.2.3 Chart structure
Figure 6 โ€“ Model elements of Gantt charts
27 6.2.4 Logic information
6.2.5 Logic information within Gantt chart
6.3 Activity-on-node networks
6.3.1 General
6.3.2 Graphical elements
Figure 7 โ€“ Information provided by Gantt charts
28 6.3.3 Node structure
6.3.4 Network structure
6.3.5 Logic information
6.3.6 Logic information within activity-on-node networks
Figure 8 โ€“ Model elements of activity-on-node networks
29 6.4 Timing diagrams
6.4.1 General
6.4.2 Graphical elements
Figure 9 โ€“ Information provided by activity-on-node networks
30 6.4.3 Diagram structure
6.4.4 Logic information
Figure 10 โ€“ Model elements of timing diagrams
31 6.4.5 Logic information within timing diagrams
6.5 Sequential function charts
Figure 11 โ€“ Information provided by timing diagrams
32 6.6 Function block diagrams
6.7 Mathematical expression
7 AML logic XML schema description
7.1 Schema overview
7.1.1 Use of IEC 61131-10 schema
33 7.1.2 Schema versioning
Figure 12 โ€“ AML logic schema overview
34 7.2 Root element “AMLLogic”
7.2.1 General
7.2.2 Attributes
7.2.3 Sub-element “WriterHeader”
7.2.4 Sub-element “Types”
Figure 13 โ€“ Root element “AMLLogic”
35 7.2.5 Sub-element “Documentation”
7.3 Complex type “FunctionBlock”
7.3.1 General
7.3.2 Attributes
7.3.3 Sub-element “Parameters”
7.3.4 Sub-element “Vars
7.3.5 Sub-element “MainBody”
Figure 14 โ€“ Complex type “FunctionBlock”
36 7.3.6 Complex type “ParameterSet”
7.3.7 Complex type “VariableDecl”
Figure 15 โ€“ Complex type “ParameterSet”
Figure 16 โ€“ Complex type “VariableDecl”
37 7.4 Complex Type “IML”
7.4.1 General
Figure 17 โ€“ Complex type “IML”
38 7.4.2 Attributes
7.4.3 Sub-element “Resource”
7.4.4 Sub-element “TimeInformation”
7.4.5 Choice of “IML***” element
7.4.6 Complex type “IMLStep”
39 7.4.7 Complex type “IMLTransition”
Figure 18 โ€“ Complex type “IMLStep”
Figure 19 โ€“ Complex type “IMLTransition”
40 7.4.8 Complex type “IMLSimultaneousDivergence”
7.4.9 Complex type “IMLSimultaneousConvergence”
7.5 Complex Type “MathematicalExpression”
7.5.1 General
Figure 20 โ€“ Complex type “IMLSimultaneousDivergence”
Figure 21 โ€“ Complex type “IMLSimultaneousConvergence”
Figure 22 โ€“ Complex type “MathematicalExpression”
41 7.5.2 Attributes
7.5.3 Sub-element “VariableMapping”
7.5.4 Sub-element “MathML”
7.6 Simple type “LogicModelTypeEnum”
7.7 Simple type “TimeUnion”
7.8 Simple type “TimeFormatEnum”
42 7.9 Simple type “UuidString”
8 Storing logic models
8.1 General
8.2 Storing Gantt charts in AML logic XML
8.2.1 Common rules
8.2.2 Storing the start of a Gantt chart
43 8.2.3 Storing bars
8.2.4 Storing arrows
Table 2 โ€“ Mapping the start of a Gantt chart to IML element
Table 3 โ€“ Mapping of Gantt chart bars to IML elements
44 8.2.5 Storing successor bars
Table 4 โ€“ Mapping of Gantt chart arrow to IML elements
45 Table 5 โ€“ Mapping of Gantt chart bar with one or more successor bars to IML elements
46 8.2.6 Storing predecessor bars
Table 6 โ€“ Mapping of Gantt chart bar with one and more predecessor bars to IML elements
47 8.3 Storing activity-on-node networks in AML logic XML
8.3.1 Common rules
8.3.2 Storing the start of an activity-on-node network
Table 7 โ€“ Mapping of the start of an activity-on-node network to IML elements
48 8.3.3 Storing nodes
8.3.4 Storing arrows
Table 8 โ€“ Mapping of activity-on-node network nodes to IML elements
49 8.3.5 Storing successor nodes
Table 9 โ€“ Mapping of activity-on-node network arrows to IML elements
Table 10 โ€“ Mapping of activity-on-node network successor nodes to IML elements
50 8.3.6 Storing predecessor nodes
Table 11 โ€“ Mapping of activity-on-node network predecessor nodes to IML elements
51 8.4 Storing timing diagrams in AML logic XML
8.4.1 Common rules
52 8.4.2 Storing the timeline of a timing diagram
53 8.4.3 Storing resources and resource states
8.4.4 Storing lifelines
Table 12 โ€“ Mapping of the timeline of a timing diagram to IML elements
Table 13 โ€“ Mapping of timing diagram resources and resource states to IML elements
54 Table 14 โ€“ Mapping of timing diagram lifelines to IML elements
55 8.4.5 Storing the time signal and the resource signal
56 Table 15 โ€“ Mapping of the time signal and the resource signal to IML elements
57 8.5 Storing sequential function charts in AML logic XML
8.5.1 Common rules
8.5.2 Storing variables
58 8.6 Storing function block diagrams in AML logic XML
8.6.1 Common rules
8.6.2 Storing variables
Table 16 โ€“ Storing variable of a sequential function chart in AML logic XML
59 8.7 Storing mathematical expressions in AML logic XML
8.7.1 Common rules
Table 17 โ€“ Storing variable of a function block diagram in AML logic XML
60 8.7.2 Storing variables
8.7.3 Storing variable mappings
Table 18 โ€“ Storing variable of a mathematical expression in AML logic XML
61 8.7.4 Storing mathematical expressions
9 Meta information about AML logic XML writer tools
Table 19 โ€“ Storing variable mappings of a mathematical expression in AML logic XML
Table 20 โ€“ Storing a mathematical expression in AML logic XML
62 10 Extensions of AML classes for logic
10.1 General
10.2 AutomationMLLogicRoleClassLib
10.2.1 General
Table 21 โ€“ Meta information about each AML logic XML writer tool
63 10.2.2 RoleClass InterlockingTargetGroup
10.2.3 RoleClass InterlockingSourceGroup
Figure 23 โ€“ AutomationMLLogicRoleClassLib
Table 22 โ€“ RoleClass InterlockingTargetGroup
64 10.2.4 RoleClass LogicModelObject
Table 23 โ€“ RoleClass InterlockingSourceGroup
Table 24 โ€“ RoleClass LogicModelObject
65 10.3 AutomationMLLogicInterfaceClassLib
10.3.1 General
10.3.2 InterfaceClass LogicModelInterface
10.3.3 InterfaceClass SequencingLogicModelInterface
Figure 24 โ€“ AutomationMLLogicInterfaceClassLib
Table 25 โ€“ InterfaceClass LogicModelInterface
66 10.3.4 InterfaceClass BehaviourLogicModelInterface
10.3.5 InterfaceClass InterlockingLogicModelInterface
10.3.6 InterfaceClass LogicModelElementInterface
Table 26 โ€“ InterfaceClass SequencingLogicModelInterface
Table 27 โ€“ InterfaceClass BehaviourLogicModelInterface
Table 28 โ€“ InterfaceClass InterlockingLogicModelInterface
67 10.3.7 InterfaceClass VariableInterface
10.3.8 InterfaceClass InterlockingVariableInterface
Table 29 โ€“ InterfaceClass LogicModelElementInterface
Table 30 โ€“ InterfaceClass VariableInterface
68 10.4 AutomationMLPLCopenXMLInterfaceClassLib
10.4.1 General
10.4.2 InterfaceClass VariableInterface
Figure 25 โ€“ AutomationMLPLCopenXMLInterfaceClassLib
Table 31 โ€“ InterfaceClass InterlockingVariableInterface
Table 32 โ€“ InterfaceClass VariableInterface
69 10.5 AutomationMLInterfaceClassLib
10.5.1 General
10.5.2 InterfaceClass InterlockingConnector
10.5.3 InterfaceClass PLCopenXMLInterface
11 Referencing AML logic XML documents
11.1 General
11.2 Referencing logic information
Table 33 โ€“ InterfaceClass InterlockingConnector
Table 34 โ€“ InterfaceClass PLCopenXMLInterface
70 12 Linking AML objects with interlocking information
12.1 General
12.2 Referencing interlocking information
72 Annex A (informative)Examples for storing logic models in AML logic XML
A.1 Example for storing Gantt charts
A.1.1 General
A.1.2 Storing of activities without predecessor and successor relation
73 A.1.3 Storing of an activity sequence
Table A.1 โ€“ Storing of the Gantt chart example “activities without predecessor and successor relations”
74 Table A.2 โ€“ Storing of the Gantt chart example “activity sequence”
75 A.1.4 Storing of an activity sequence with divergences
Table A.3 โ€“ Storing of the Gantt chart example “activity sequence with divergence”
76 A.1.5 Storing of an activity sequence with convergences
Table A.4 โ€“ Storing of the Gantt chart example “activity sequence with convergences”
77 A.2 Example for storing activity-on-node networks
A.2.1 General
A.2.2 Storing of activities without predecessor and successor relation
Table A.5 โ€“ Storing of the activity-on-node network example “activities without predecessor and successor relations”
78 A.2.3 Storing of an activity sequence
Table A.6 โ€“ Storing of the activity-on-node network example “activity sequence”
79 A.2.4 Storing of an activity sequence with divergences
Table A.7 โ€“ Storing of the activity-on-node network example “activity sequence with divergence”
80 A.2.5 Storing of an activity sequence with convergences
Table A.8 โ€“ Storing of the activity-on-node network example “activity sequence with convergences”
81 A.3 Example for storing timing diagrams
A.3.1 General
82 A.3.2 Example of storing internal signal
Table A.9 โ€“ Storing of the timing diagram example “transition from a state change to the subsequent state”
83 A.3.3 Example of storing external signal
Table A.10 โ€“ Mapping of the timing diagram example “two external signals fired with delay of three seconds”
84 A.3.4 Example of storing signal between two resource states flows
85 Table A.11 โ€“ Storing of the timing diagram example “signal fired by one resource state and consumed by another”
86 A.4 Example for storing sequential function charts
Table A.12 โ€“ Example for storing sequential function chart
88 A.5 Example for storing function block diagrams
Table A.13 โ€“ Example for storing a function block diagram
90 A.6 Example for storing mathematical expressions
91 Figure A.1 โ€“ Flow rate of valves
93 Figure A.2 โ€“ Example for storing a mathematical expression
94 Annex B (informative)Examples for referencing logic information
B.1 General
B.2 Referencing logic information expressed as logic models
B.2.1 General
B.2.2 Referencing logic information stored in one FunctionBlock
Figure B.1 โ€“ Referencing logic information (as SFC) stored in one FunctionBlock
95 B.2.3 Referencing logic information, which is composed of several FunctionBlocks
B.2.4 Referencing logic information, which is composed of several AML logic XML documents
Figure B.2 โ€“ XML text of the CAEX file for referencing logic information stored in one FunctionBlock
Figure B.3 โ€“ Referencing logic information, which is composed of several FunctionBlocks
96 Figure B.4 โ€“ Referencing logic information which is composed of several AML logic XML documents
Figure B.5 โ€“ XML text of the CAEX file for referencing logic information, which is composed of several AML logic XML documents
97 B.3 Referencing logic information as a part of logic models
B.3.1 General
B.3.2 Referencing a variable
Figure B.6 โ€“ Referencing a variable
Figure B.7 โ€“ XML text of the CAEX file for referencing a variable
98 B.3.3 Referencing a logic element
B.4 Referencing logic information as a part of already referenced logic models
Figure B.8 โ€“ Referencing a logic element
Figure B.9 โ€“ XML text of the CAEX file for referencing a logic element
99 Figure B.10 โ€“ Referencing a variable of an already referenced logic model
100 Figure B.11 โ€“ XML text of the CAEX file for referencing a variable of an already referenced logic model
101 Annex C (informative)Examples for referencing interlocking information
C.1 General
Figure C.1 โ€“ Example manufacturing system
102 C.2 Interlocking information
C.3 Referencing interlocking information without interlocking condition
Figure C.2 โ€“ Example interlocking source group and interlocking target group
103 Figure C.3 โ€“ Referencing interlocking information without interlocking condition
104 C.4 Referencing interlocking information with interlocking condition
Figure C.4 โ€“ XML text of the CAEX file for referencing interlocking information without interlocking condition
105 Figure C.5 โ€“ Referencing interlocking information with interlocking condition
106 Figure C.6 โ€“ XML text of the CAEX file for referencing interlocking information with interlocking condition
107 Figure C.7 โ€“ Linking logical interface with physical interface (extension to Figure C.5)
Figure C.8 โ€“ XML text of the CAEX file for linking logical interface with physical interface (extension to Figure C.6)
108 Annex D (normative)XML representation of AML standard libraries
D.1 General
D.2 AutomationMLLogicRoleClassLib
109 D.3 AutomationMLLogicInterfaceClassLib
110 D.4 AutomationMLPLCopenXMLInterfaceClassLib
111 Annex E (normative)XML representation of AML logic XML schema
115 Bibliography
BS EN IEC 62714-4:2020
$227.44