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 |
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 |