CN111796998B - AML language performance verification system - Google Patents

AML language performance verification system Download PDF

Info

Publication number
CN111796998B
CN111796998B CN201910570403.2A CN201910570403A CN111796998B CN 111796998 B CN111796998 B CN 111796998B CN 201910570403 A CN201910570403 A CN 201910570403A CN 111796998 B CN111796998 B CN 111796998B
Authority
CN
China
Prior art keywords
aml
data
language
information
file
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201910570403.2A
Other languages
Chinese (zh)
Other versions
CN111796998A (en
Inventor
陈曦
肖天雷
王裴劼
翟玉铭
王磊
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Guangzhou Zhixun Information Science & Technology Co ltd
Shanghai Institute of Measurement and Testing Technology
Original Assignee
Guangzhou Zhixun Information Science & Technology Co ltd
Shanghai Institute of Measurement and Testing Technology
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Guangzhou Zhixun Information Science & Technology Co ltd, Shanghai Institute of Measurement and Testing Technology filed Critical Guangzhou Zhixun Information Science & Technology Co ltd
Priority to CN201910570403.2A priority Critical patent/CN111796998B/en
Publication of CN111796998A publication Critical patent/CN111796998A/en
Application granted granted Critical
Publication of CN111796998B publication Critical patent/CN111796998B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02PCLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

The invention provides an AML language performance verification system, which comprises: engineering information storage center; the human-computer interface is used for acquiring the state information of all the online equipment under the network topology structure, checking the running state of the equipment and realizing the simulation of the information acquisition of the factory equipment; viewing historical operation information stored in the engineering information storage center by all devices through the human-computer interface, so as to track the operation state of a single device; the control switchboard is in control of a scene and is responsible for reporting data by the terminals and issuing the data to a plurality of designated terminals, so that engineering data exchange under a network environment can be realized, and the simulation of information communication among factory equipment can be realized; and the device is used for sending out error AML data, and the control total machine can identify the error data and feed back the error data to the human-computer interface.

Description

AML language performance verification system
Technical Field
The invention relates to the technical field of AML languages, in particular to an AML language performance verification system.
Background
The automation markup language Automation Markup Language (hereinafter referred to as AML) is an XML-based factory engineering data exchange format conforming to the GB/T XXX series standard, and the data exchange format (automation markup language, AML) defined in the GB/T XXX series standard is a extensible language (XML) -architecture-based data format used to support data exchange between heterogeneous engineering tools.
AML is intended to establish links between engineering tools in different fields, such as mechanical equipment engineering, electrical design, process engineering, process control engineering, human-machine interface development, PLC programming, and robot programming, etc.
AML follows an object-oriented approach to store engineering information and allows modeling of the physical and logical components of a plant with data objects that encapsulate different aspects of content. An object may contain other sub-objects, or may be affiliated with a larger group or aggregation. A typical object in a factory automation project contains topology information, geometry information, motion information, and logic information, which encompasses sequences, behaviors, and controls. Therefore, object-oriented data structures, geometric information, motion information, and logical information are important focuses for data exchange in the engineering field.
AML integrates existing industrial data formats for storing and exchanging various aspects of engineering information. These data formats are implemented independently according to the respective specifications and do not belong to the branches of AML.
At the heart of AML is a top-level data format CAEX that links the various data formats. Thus, AML has its own distributed document structure.
AML integrates existing industrial data formats for storing and exchanging engineering signals in different fields and therefore has very wide application in the framework of intelligent manufacturing architecture. AML stores engineering information in an object-oriented model and allows modeling of the actual components of the plant, converting them into data objects that encapsulate the content of different aspects.
AML operation is mainly measured by IEC/TC65 industrial processes, measuring and automation standardization technical committee division technical committee SC65E WG9: the AML (engineering data interaction format) working group is responsible for specifying engineering data interaction formats for data engineering between different engineering tools. SC65E has now promulgated a series of standards for IEC 62714 with respect to AML, and it is clear that this series of standards will consist of several parts for different aspects of AML:
-part 1: architecture and general requirements (IEC 62714-1:2014);
-part 2: role library (IEC 62714-2:2015);
-part 3: geometric and motion information (IEC 62714-3Ed.1.0);
-part 4: logic information.
In the industrial automation processing process, various parameters in industrial production are used as control purposes to realize various process control on equipment, AML is a carrier for describing information and relations of engineering elements such as topology, geometry, motion, behavior and sequence information of the equipment, and the like, and the expected processing target is achieved by determining how the equipment cooperates in the production process and receiving and feeding back the information through description language.
The organization AutomationML (Automation Markup Language) is established by the germany automobile manufacturer Daimler, which combines industrial enterprises such as ABB, KUKA, rockwell Automation, siemens and the like with some software and service providers, namely by jointly defining an intermediate format of a digital factory, namely an automated markup language AML, and performing standardization. The AML standard is a free open standard, primarily for manufacturing automation, including robotics and logistics, but not limited thereto. The innovation is mainly that: the standards accepted by many important engineering aspects are applied in a single root format (XML format).
In the industrial automation processing process, various parameters in industrial production are used as control purposes to realize various process control on equipment, AML is a carrier for describing information and relations of engineering elements such as topology, geometry, motion, behavior and sequence information of the equipment, and the like, and the expected processing target is achieved by determining how the equipment cooperates in the production process and receiving and feeding back the information through description language.
Disclosure of Invention
The invention provides an AML language performance verification method, which is characterized in that the generation efficiency and the analysis efficiency are verified through languages, and whether the performance of the AML language itself can be a bottleneck due to the data volume is known through comparing the differences in a mode of increasing the data volume.
In the AML language performance verification method provided by the invention, the data is inevitably involved in three stages of data assembly, transmission and analysis in the transmission process, and the transmission is controlled by a protocol and a network, so that the data volume of an AML format is not large, the transmission link is basically negligible, and the efficiency of generation and analysis is mainly considered.
The AML language performance verification method provided by the invention comprises the following steps:
step one: verifying generation efficiency and analysis efficiency by language;
Step two: by comparing the differences in a manner of increasing the data volume, it is determined whether AML language performance is bottleneck due to the data volume.
Wherein the verification generation efficiency includes the steps of:
Step A: inputting a desired amount of AML file size to be generated;
And (B) step (B): reading an AML format file;
Step C: inserting node data, constructing data of the input AML file, and recording generation start time;
Step D: generating AML data with standard size, and recording the generation ending time;
step E: the generation time is calculated by a time calculator.
Wherein, the verification analysis efficiency comprises the following steps:
step I: reading the AML file and recording the reading time;
step II: analyzing the AML file content, and recording the ending time;
Step III: the parsing time is calculated by a time calculator.
In the invention, the data volume increasing mode is as follows: and verifying the sample data with different sizes, expanding the sample data with a plurality of data samples with different sizes, and verifying in a size equal difference incremental mode.
In the present invention, the AML language comprises: JAVA, C, visual Basic. And checking by using programs written in 3 languages of JAVA, C, visual Basic and the like.
In the invention, automationMLEditor is used for analyzing the AML files of 1 to 10M, so that the AML files generated by a program can be visually checked.
According to the AML language performance verification method, files with corresponding sizes are automatically generated according to rules of AML formats through programs written in 3 languages, and AML files with corresponding data sizes are automatically generated according to AML engineering data format standards. The verification program can automatically calculate the generation and analysis time and store the result of the analysis time. The performance technical effect of simulating various heterogeneous devices to generate and analyze AML files by using 3 languages is achieved.
The invention also provides an AML language performance verification system, in particular to an AML language performance verification system in an industrial simulation environment, wherein the flow chart is shown in figure 1, and the AML language performance verification system comprises:
Engineering information storage center;
the human-computer interface is used for acquiring the state information of all the online equipment under the network topology structure, checking the running state of the equipment and realizing the simulation of the information acquisition of the factory equipment; viewing historical operation information stored in the engineering information storage center by all devices through the human-computer interface, so as to track the operation state of a single device;
the control switchboard is in control of a scene and is responsible for reporting data by the terminals and issuing the data to a plurality of designated terminals, so that engineering data exchange under a network environment can be realized, and the simulation of information communication among factory equipment can be realized;
And the device is used for sending out error AML data, and the control total machine can identify the error data and feed back the error data to the human-computer interface.
In the invention, the device list is encoded by the C language; the control switchboard is written in JAVA language; the man-machine interface is composed of a PC browser; the engineering information storage center is composed of a database server.
In the invention, the equipment and the control switchboard have AML data generation and analysis capability.
In the invention, the control switchboard is composed of the following modules: the system comprises a man-machine interface communication module, an instruction issuing module, an instruction processing module, an information receiving module and an information storage center communication module.
In the invention, the information of the client workbench is displayed through a human-computer interface.
In the whole verification system, the client is displayed through the terminal console, and if the information of the client workbench can be displayed through a human-computer interface, the verification effect is more visual.
The AML language performance verification system provided by the invention can display and record the collected equipment state information, the motion information and the fault information in real time. If a fault or abnormality occurs, the control center may issue an alarm and initiate other control actions. So as to carry out real-time detection evaluation and contrast analysis of the running state of the system; the equipment realizes communication connection, and the produced information and the machine state are collected by an information storage center of a production line control core. The web monitoring network is established, so that the expansion of external access can be conveniently realized to convey production control information; the operation sequence of the equipment can be configured at the PC end, so that the scheduling production of the equipment is realized. The production process can be optimized by dynamically adjusting the parameters of production assembly. The verification device is configurable, and verification of various processes can be realized through parameter configuration; the method has good performance on production management and process control, and realizes the production control process simulation with minimum cost.
The C language simulation device and the JAVA language simulation switchboard interact data in a tcp mode at a lower layer to ensure stability, reliability and high efficiency of the data, and the information issuing process avoids the problem of blocking of issuing tasks in a multithreading asynchronous mode. The system architecture is a DCS distributed control system, and the external equipment transmits equipment state information to the control switchboard in a heartbeat mode to be displayed on a human-computer interface, so that history data can be checked in near real time. The reported data are stored in the engineering data storage center in a heterogeneous mode, and the engineering data storage center can dynamically expand capacity according to actual requirements.
The invention also provides an AML language verification method, which comprises consistency verification and robustness verification;
The consistency check, the flow chart of which is shown in fig. 14, comprises the following steps:
Step one: automationMLEditor, generating and language analysis;
Step two: language generation and AutomationMLEditor loading;
Step three: and (5) language generation and language analysis.
Manually editing through AutomationMLEditor tools to generate a standard AML format, and storing the AML format as a AML format file; after the aml format file is read, the object and the relation information of the response are analyzed and constructed according to the flow, and the display effect similar to AutomationMLEditor tool is realized to compare the data structure.
Step two, referring to AutomationMLEditor tools to construct objects and relationship structures, so as to generate aml files, and loading the aml files through AutomationMLEditor tools; if normal loading is possible, it is indicated that the generated data is available, complete.
And thirdly, referring to AutomationMLEditor tools to construct an object and relationship structure, generating a aml file, analyzing through a Visual Basic program, and comparing the difference of the data structure.
The robustness check, the flow chart of which is shown in fig. 15, comprises the following steps:
step A: resolving under the condition of data according to the error sample so as to check the robustness of the error sample;
And (B) step (B): XML uses DTD and XSD to check robustness.
The step A comprises the following steps:
step A1: preparing incomplete AML data;
Step A2: tool/parser verification;
step A3: and throwing out error information.
The step A1 comprises the following steps:
step A11: modifying grammar or label information in original correct AML data;
Step A12: the necessary structures are deleted to form incomplete AML data.
The step A11 comprises the following steps:
a) Deleting necessary closure information;
b) The start and end labels are inconsistent;
c) Modifying the relationship of the devices;
d) And making a corresponding relation between the wrong label and the attribute.
And in the step B, the DTD is utilized to check to see whether the document meets the specification or not and whether the element and the label are used correctly or not by comparing the XML document with the DTD file.
The verifying by XSD in the step B includes:
Validating the XML document with a specified XML Schema to check whether the XML document meets the requirements;
specifying the allowed structure and content of an XML document through an XML Schema, and checking whether the XML document is valid or not according to the allowed structure and content;
parsing with a generic XML parser.
In the invention, the AML language verification method keeps the structure and logic content consistent with the AML files generated by AutomationMLEditor tools and the AML files generated and analyzed by 3 languages. The method realizes that the heterogeneous system of 3 language simulations generates the consistent index of the AML file according to the rule, and also realizes that the heterogeneous system generates the consistent index of the AML file. The effect that the correctness specification of the AML file generation is realized through DTD, and the file generated through the file which does not conform to the AML rule cannot be analyzed by programs and tools is realized.
In the invention, consistency index and generation efficiency and analysis efficiency of the AML file are important to AML language.
At present, no engineering practice exists in the AML verification industry, so that the security of analysis accuracy transmission and storage of AML files among heterogeneous languages is broken through, the single limit of the environment for AML file verification is broken through, heterogeneous equipment is simulated through a C language, and the adaptability of an industrial production control process to the language under an industrial simulation environment is verified.
The AML language performance verification method and device provided by the invention have the beneficial effects that the AML language performance verification method and device can be reflected in the aspects of improvement of yield, quality, precision and efficiency, saving of energy consumption, raw materials and working procedures, simplicity and convenience in processing, operation, control and use, treatment or radical treatment of environmental pollution, appearance of useful performance and the like (technical indexes).
The information transmission ensures the consistency of the transmitted information among the devices in a token mode. And the disaster tolerance of the system is improved through the redundant terminal. Multiple industrial production control scenes are simulated by dynamically configuring external equipment, the system operation efficiency is improved by a parallel execution scheme, and the parser ensures that file transmission is not distorted through strong file pre-parsing control.
Drawings
FIG. 1 is a flow chart of the AML language performance verification system of the present invention.
Fig. 2 is a general idea of the verification method according to the present invention.
Fig. 3 is a schematic view of the scene design in embodiment 1.
Fig. 4 is a schematic diagram of memory storage in embodiment 1.
Fig. 5, 6, 7, 8, 9, 10, 11, 12, 13 are schematic views of the steps in example 1.
FIG. 14 is a flow chart of AML language compliance verification of the present invention.
FIG. 15 is a flow chart of the AML language robustness verification of the present invention.
FIG. 16 is a schematic diagram of AutomationMLEditor tool verification.
FIG. 17 is a schematic diagram of Visual Basic parser verification.
Fig. 18, 19, 20 are flowcharts of a method of validating AML language performance.
Fig. 21 is a schematic diagram of a topology.
Fig. 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33 are schematic views of the steps in example 4.
Fig. 34, 35, 36, 37, 38, 39, 40, 41, 42, 43 are schematic views of the steps in example 5.
Detailed Description
The present invention will be described in further detail with reference to the following specific examples and drawings. The procedures, conditions, experimental methods, etc. for carrying out the present invention are common knowledge and common knowledge in the art, except for the following specific references, and the present invention is not particularly limited.
The general steps of the verification method of the present invention are shown in FIG. 2:
the standard AML file is used as a unified data source, the standard AML file is generated through AutomationMLEditor tools, and the standard AML file is analyzed through languages such as JAVA, C, visual Basic and the like. Similarly, canonical AML files generated in a language by specification may also be parsed by AutomationMLEditor tools and other languages.
And carrying out bidirectional generation and analysis through AutomationMLEditor tools and languages such as JAVA, C, visual Basic and the like, thereby eliminating language influence and testing the performance of AML language.
1. Through AutomationMLEditor tools, data in AML format are generated and then are analyzed by languages such as JAVA, C, visual Basic and the like;
2. And generating AML format data through JAVA, C and Visual Basic language, and then analyzing the AML format data by using a AutomationMLEditor tool.
Consistency and integrity of the information must be maintained when receiving and feeding back the information.
The verification flow of this embodiment, as shown in fig. 3, is a scene design, where the designed scene is a process in which a user generates standard AML files and parses AML data sources through a generator and a parser. The process is a cyclic and closed-loop process, AML data can be generated and analyzed by any generator, and the data is ensured not to be lost.
1. Standard AML data source: is a series of data sets including entity attributes, relationships, etc., which are not converted to a standard AML format and stored in memory, as shown in fig. 4.
Relationships between objects are logically defined and then converted to specific AML format representations by specific languages and generators.
2. Reading a data source: after the generator acquires the logical definition of the object and the relation, the generator completes the information correspondence of the data source and the physical result through language development and artificial drawing.
3. Construction of AML data: the read data sources are constructed through the generation rule of the AML, and the data sources are analyzed and combined to form data in the AML format and stored in the memory.
4. Generating an AML file: and outputting the constructed AML data to generate a file in a AML format of the entity.
5. Reading an AML file: the parser reads and identifies aml the file and determines if the file is legitimate.
6. Parsing the AML file: after reading the AML file, the data stream is read into the memory through the file reading function, and the data is extracted and combined into a new data structure according to the rule of AML through the arrangement and combination of the language control memory.
7. Building data: after the data is analyzed, a special data structure is constructed according to the characteristics of the language and is stored in a memory, and a standard AML data source is formed for regenerating AML format data.
The consistency verification method in this embodiment is as follows:
1. AutomationMLEditor generation, language parsing
Based on the above-mentioned scene, the embodiment verifies that the adopted AutomationMLEditor tool and three languages of JAVA, C and Visual Basic simulate the scene that the control process of the automobile assembly line equipment is controlled by AML language, and the three languages have mature application in the instruction transmission and control of the small-sized equipment. First manually edited by AutomationMLEditor tool to generate standard AML format and saved as file in AML format, as shown in FIG. 5.
The generated data format is a text format, and can be opened and checked through a text editor, as shown in fig. 6.
Taking Visual Basic program as an example, after the aml files are read, the files can be analyzed according to the flow and the responsive object and relation information can be constructed, so that the display effect similar to AutomationMLEditor tools is realized, as shown in fig. 7.
FIG. 8 is a diagram of a comparative effect that substantially fully restores a data structure.
2. Language generation, automationMLEditor loading
Taking the Visual Basic program as an example, the object and relationship structure is built with reference to the AutomationMLEditor tool, from which the aml file is generated and loaded through the AutomationMLEditor tool. As shown in fig. 9.
Aml files generated in data format, as shown in FIG. 10:
The generated AML data is loaded in AutomationMLEditor tools, and if the loading can be normal, the generated data is available and complete. As shown in fig. 11.
3. Language generation and language parsing
Taking Visual Basic program as an example, referring to AutomationMLEditor tool to construct object and relation structure, generating aml file, analyzing by Visual Basic program, and comparing difference. As in fig. 9.
A aml file generated in data format, as shown in figure 10.
The results after self-generation and analysis using Visual Basic are shown in FIG. 12.
As can be seen from fig. 13, the comparison.
Through the verification, whether the AML language is generated and analyzed by adopting AutomationMLEditor tools or JAVA, C or Visual Basic language, the AML file generated in compliance with the AML language can be analyzed through the generation and analysis in the three modes, no language limitation exists, and the consistency in the generation and analysis process is ensured.
The robustness check in this embodiment is also called fault tolerance, and is used to test whether the system can automatically recover or ignore the fault to continue to operate when the system fails.
AML is an expansion based on XML, and the grammar rule of XML requires a comparison structure, and strict grammar and structure are a mechanism for guaranteeing robustness. An XML interpreter is an application that parses and error detects an XML document.
Since the nature of AML is a descriptive language, it is not itself executable, and therefore robustness testing for AML is primarily verified with false sample parsing of AML.
The robustness check for AML inherits the robustness of XML itself, so that the method can be processed by using the general checking method of XML. The existing language has very strict verification on XML parsing, such as JAVA, C, visual Basic and the like, and provides a corresponding parser.
In the embodiment, three languages are selected for verification, namely JAVA, C and Visual Basic, and an XML self verification mode is adopted.
The robustness verification method in this embodiment:
1. The AutomationMLEditor tool and the JAVA, C and Visual Basic languages are analyzed under the condition of data according to error samples through the XML analysis tool so as to check the robustness of the XML analysis tool.
1: Grammar or tag information is modified in the original correct AML data.
A) The necessary closure information is deleted.
B) The start and end tags are inconsistent.
C) The device-to-device relationship is modified, such as by a subordinate or parent-child relationship inversion.
D) And making a corresponding relation between the wrong label and the attribute, such as adding attribute information of action execution in the description of the equipment.
2: Deleting necessary structures to form incomplete AML data
For example, in the generated aml script, the INSTANCEHIERARCHY tag is replaced with INSTANCEHIERARCHY _TMP, and the effect of parsing by tools and languages is as follows:
1. AutomationMLEditor tool verification
The AutomationMLEditor tool cannot load the data modified to the error tag as shown in fig. 16.
2. Visual Basic parser verification
The Visual Basic parser cannot load data modified to an error tag, as shown in fig. 17.
2. XML uses DTD and XSD to check its robustness.
1, The verification mode of the XML file ensures the correctness of the XML file, and two types of verification modes are more common: DTD and XSD.
A) Verification by DTD
DTD (Document Type Definition) is a document type definition, is an XML constraint mode language, is a verification mechanism of an XML file, and belongs to a part of the XML file. DTD is an effective method of ensuring that XML documents are properly formatted, and by comparing the XML document with the DTD file, it can be seen whether the document meets the specifications, and whether the elements and tags are properly used.
B) Verification using XSD
The XML Schema language is XSD (XML Schemas Definition). XML Schema describes the structure of an XML document. A given XML Schema may be used to validate an XML document to check that the XML document meets its requirements. The document designer may specify the structure and content allowed by an XML document through XML Schema and may check accordingly whether an XML document is valid. The XML Schema itself is an XML document that conforms to the XML syntax structure. It can be parsed with a generic XML parser.
The XSD introduced is seen in the AML specification as CAEX _ ClassModel _v2.15.XSD, through which the legitimacy and integrity of the document can be verified.
The data can be inevitably involved in the transmission process in three stages of data assembly, transmission and analysis, and the transmission is controlled by a protocol and a network, so that the data volume of the AML format is not large, the transmission link is basically negligible, and the efficiency of generation and analysis is mainly considered.
The efficiency of generation and parsing is verified by language, and the difference is compared by increasing the data quantity, so that whether the performance of AML language itself can be bottleneck in quantity or not is known.
Flowcharts of the method for validating AML language performance are shown in FIGS. 18-20.
(1) Generating a time span: time spent from the start of generation to the formation of the aml file;
(2) Analysis time span: time spent from reading the aml file to exposing the data.
Table 1: tool, development language and scene selection
Sequence number Language or tool name Developing content Remarks
1 AutomationMLEditor Generating and parsing large files The time consumption of the load is checked.
2 JAVA Generating and analyzing program Record generation and analysis time consumption.
3 C Generating and analyzing program Record generation and analysis time consumption.
4 VisualBasic Generating and analyzing program Record generation and analysis time consumption.
The sample data in this embodiment needs to be provided for verification in different sizes, and is expanded in 10 different sizes, the initial value is 1M, the second time is 10M, and then 10M is added for verification.
The AML language performance verification scheme and effect in this embodiment are as follows:
Table 2: language C
Table 3: VB language
Table 4: JAVA language
The embodiment provides a method for verifying engineering data exchange formats for industrial automation system engineering, and carries out communication simulation of AML data according to actual application scenes of an automobile assembly production line.
During operation of the automated plant equipment, the various equipment needs to cooperate via the enterprise's communication network. The generation, transmission, processing, storage, display, etc. of data may be involved in this process.
According to the method, the device structure is simulated according to a common network topology structure of the factory automation device, and the actual use scene in the industrial automation production is simulated through data transmission among devices.
The central control system is composed of a device list coded by a c language, a control switchboard written by a JAVA language, a PC browser forming a man-machine interface, a database server forming an engineering information storage center and the like. The equipment and the control switchboard have AML data generation and analysis capabilities. The topology is shown in fig. 21.
An AML language performance verification system in an industrial simulation environment in this embodiment, comprising: engineering information storage center; a human-machine interface; controlling a switchboard; an apparatus. The verification device verifies the following steps:
the following scene tests are carried out under the network structure of the equipment:
(1) The equipment reads all equipment state information and displays the information to a terminal page
Through the PC end man-machine operation interface, the state information of all the online devices under the network topology structure can be obtained, and the running state of the devices can be checked. Thereby realizing the simulation of the information acquisition of the factory equipment.
After the server is started, inputting in a browser: http://127.0.0.1:8080/aml/home into the human machine interface as shown in figure 22.
The various clients are started, as in fig. 23. After the terminal is started, a man-machine control interface is displayed as shown in fig. 24.
(2) Two-way communication between a device and a switchboard
The control console simulates a switchboard control scene, is responsible for reporting data by the terminal and issuing the data to a plurality of designated terminals, and can realize engineering data exchange under a network environment so as to simulate information communication between factory equipment.
The terminal is selected and the point "send file to device" sends data to the terminal as shown in fig. 25.
After receiving the request, the terminal starts the parser to parse and displays the parsing result, as shown in fig. 26.
The C parser parses the file as in fig. 27.
(3) Historical motion information of all devices can be checked through a human-computer interface
The historical operation information stored in the server by all devices can be checked through the human-computer interface, so that the operation state of the single device can be tracked.
The terminal reports the correct aml as shown in fig. 28.
The terminal reports the wrong aml file as shown in fig. 29.
The console looks at the data reported by the terminal as shown in fig. 30.
(4) The device generates error AML data, and the host can identify and send out error warning at the human-computer interface
By the device 1 emitting erroneous AML data, the host is able to recognize the erroneous data and feed back to the human-machine interface.
And (3) checking:
x represents that the file is uploaded as the wrong aml file, and that the file is correct aml can be normally parsed, as shown in fig. 31.
The point view lets the java parser parse the wrong file, prompting the parsing failure, as shown in fig. 32.
Looking at the correct aml, the interface is parsed, as in FIG. 33.
Verification of automobile assembly line production control process
In the industrial automatic production process, various parameters in the industrial production are used as control purposes to realize various process control on equipment, AML is a carrier for describing information and relations of engineering elements such as topology, geometry, motion, behavior and sequence information of the equipment, and the like, and the expected processing target is achieved by determining how the equipment cooperates in the production process and receiving and feeding back the information through description language.
Both JAVA and C languages have mature applications in command transmission and control of devices. The embodiment verifies a control scene of simulating the control process of the automobile assembly line equipment by adopting AML language.
Modeling according to the production process control process is shown in fig. 21. Wherein: device 1 represents a conveyor belt, device 2 represents a turning device, and device 3 represents an assembly device.
The simulation verification steps are as follows:
(1) The device 1 is started to operate by sending AML files to the device 1 through a human-machine interface and a control switchboard, simulating the start-up transmission of the conveyor belt.
Through the man-machine interface, the terminal equipment (steering equipment, assembling equipment) is selected, the production equipment is selected again, the conveyor belt is simulated, and the point "send production request to equipment" is sent, as shown in fig. 34.
(2) After receiving the command of the control console, the device 1 triggers the conveyor belt to work, and sends AML files to the device 2 after a period of time, and the device 2 carries out language analysis after receiving the information so as to simulate and realize the steering of the vehicle body. And in turn issues AML files to the device 3.
The IP is as follows: 192.168.8.78 (device 1) simulate a conveyor belt, and after receiving the request, trigger the production, and after completion, send the request to the "steering device" of 192.168.8.59 (device 2), as shown in fig. 35.
(3) The device 3 receives and analyzes the AML file to simulate the assembling process of the automobile wheel, and pushes the assembled AML data to the console after the assembling is completed.
After receiving the request, the device (2) starts assembly, and after the assembly, the device sends a request to 192.168.8.77 (device 3) for assembling the device, as shown in fig. 36.
(4) After receiving the data synthesized by the terminal of the device 3, the console can display the assembled AML information on a human-computer interface and display the generated product information.
(Device 3) upon receiving the request, the synthesized data is executed, and after the synthesis is completed, the synthesized data is sent to the console, as shown in fig. 37.
(5) The adaptability of the system and AML language can be verified by setting the number of the single assembly wheels in the assembly process on the human-computer interface to gradually carry out the process.
The results are viewed as in fig. 38, 39.
Aml files used in the test are only one node in the INTERNALELEMENT device list before issuing, as shown in fig. 40; after assembly, there are 4 more nodes, consistent with what was expected, as shown in FIG. 41.
And (3) assembling: the data reported by the terminals are combined into a file, and then sent to a java parser for parsing, as shown in fig. 42.
Can be correctly resolved, as shown in fig. 43.
The simulation of the synthesis and transmission of AML data in the processes of transportation, steering, assembly and the like in the automobile assembly production control can be realized through the steps. The design concept can be popularized to other occasions of industrial field control.
The embodiments 4 and 5 of the invention are all computer controlled, network and information processing technology, and have certain representativeness in the industrial production control process. The terminal equipment is formed by simulation of JAVA language and C language to test the performance of AML language such as data generation, storage, transmission, composite display and the like in a simulated industrial production environment.
The method and the device relate to the collection and processing of equipment state information, process information and action information, and determine how the equipment cooperates with the information in the production process to achieve the expected processing target, so that the transmission experiment of the production information in the industrial production control process can simulate the actual production process to a higher degree by taking the AML as an information carrier.
Table 5: analysis of results
The protection of the present invention is not limited to the above embodiments. Variations and advantages that would occur to one skilled in the art are included in the invention without departing from the spirit and scope of the inventive concept, and the scope of the invention is defined by the appended claims.

Claims (5)

1. An AML language performance verification system comprising:
Engineering information storage center;
the human-computer interface is used for acquiring the state information of all the online equipment under the network topology structure, checking the running state of the equipment and realizing the simulation of the information acquisition of the factory equipment; viewing historical operation information stored in the engineering information storage center by all devices through the human-computer interface, so as to track the operation state of a single device;
the control switchboard is in control of a scene and is responsible for reporting data by the terminals and issuing the data to a plurality of designated terminals, so that engineering data exchange under a network environment can be realized, and the simulation of information communication among factory equipment can be realized;
the device is used for sending out error AML data, and the control master can identify the error data and feed back the error data to the human-computer interface;
The AML language performance verification system adopts an AML language performance verification method, and the method comprises the following steps:
step one: verifying generation efficiency and analysis efficiency by language;
Step two: comparing the differences in a mode of increasing the data quantity, and determining whether the AML language performance has a bottleneck due to the data quantity; the data volume is increased by the following steps: verifying sample data with different sizes, expanding a plurality of data samples with different sizes, and verifying in a size arithmetic increment mode; the AML language comprises: JAVA, C, visual Basic; checking by using programs written in three languages of JAVA, C and Visual Basic;
wherein the verification generation efficiency includes the steps of:
Step A: inputting a desired amount of AML file size to be generated;
And (B) step (B): reading an AML format file;
Step C: inserting node data, constructing data of the input AML file, and recording generation start time;
Step D: generating AML data with standard size, and recording the generation ending time;
step E: calculating a generation time by a time calculator;
Wherein, the verification analysis efficiency comprises the following steps:
step I: reading the AML file and recording the reading time;
Step II: analyzing the AML file content, and recording the ending time; the AutomationMLEditor is used for analyzing the AML files of 1 to 10M, so that the AML files generated by a program can be visually checked;
Step III: calculating an analysis time by a time calculator;
according to the AML language performance verification method, files with corresponding sizes are automatically generated according to rules of AML formats through programs written in three languages, and AML files with corresponding data sizes are automatically generated according to AML engineering data format standards; and the verification program automatically calculates the generation and analysis time, stores the analysis time result, and realizes the performance of simulating the generation and analysis of AML files by using three languages.
2. The AML language performance verification system of claim 1, wherein said control exchange is written in JAVA language; the man-machine interface is composed of a PC browser; the engineering information storage center is composed of a database server.
3. The AML language performance verification system of claim 1, wherein said device and said control switchboard each have AML data generation and parsing capabilities.
4. The AML language performance verification system of claim 1, wherein said control switchboard is comprised of the following modules: the system comprises a man-machine interface communication module, an instruction issuing module, an instruction processing module, an information receiving module and an information storage center communication module.
5. The AML language performance verification system of claim 1, wherein information of the client workstation is displayed via a human-machine interface.
CN201910570403.2A 2019-06-27 2019-06-27 AML language performance verification system Active CN111796998B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910570403.2A CN111796998B (en) 2019-06-27 2019-06-27 AML language performance verification system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910570403.2A CN111796998B (en) 2019-06-27 2019-06-27 AML language performance verification system

Publications (2)

Publication Number Publication Date
CN111796998A CN111796998A (en) 2020-10-20
CN111796998B true CN111796998B (en) 2024-05-07

Family

ID=72805289

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910570403.2A Active CN111796998B (en) 2019-06-27 2019-06-27 AML language performance verification system

Country Status (1)

Country Link
CN (1) CN111796998B (en)

Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101043384A (en) * 2006-05-25 2007-09-26 华为技术有限公司 System and method for network test
CN102724084A (en) * 2012-05-25 2012-10-10 国网电力科学研究院 Test and verification system for grid video monitoring system
CN105335177A (en) * 2014-07-23 2016-02-17 比亚迪股份有限公司 Test method, test device and test system of embedded system
CN106126504A (en) * 2016-08-26 2016-11-16 重庆红江机械有限责任公司 A2L grammar parser and method
CN106294121A (en) * 2016-07-13 2017-01-04 北京航空航天大学 Aircraft embedded real-time diagnosis reasoning algorithm test method
CN106445763A (en) * 2016-09-09 2017-02-22 中国南方电网有限责任公司电网技术研究中心 Power distribution and utilization big data platform test method and system
CN106774244A (en) * 2016-12-05 2017-05-31 南京大全自动化科技有限公司 Data acquisition and the simulation test instrument and its method of testing of supervisor control
CN108776278A (en) * 2018-07-05 2018-11-09 国网湖北省电力有限公司电力科学研究院 A kind of the configuration type relay protection test system and method for topological correlation
CN109783345A (en) * 2018-12-03 2019-05-21 百度在线网络技术(北京)有限公司 A kind of small routine performance test methods and system

Patent Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101043384A (en) * 2006-05-25 2007-09-26 华为技术有限公司 System and method for network test
CN102724084A (en) * 2012-05-25 2012-10-10 国网电力科学研究院 Test and verification system for grid video monitoring system
CN105335177A (en) * 2014-07-23 2016-02-17 比亚迪股份有限公司 Test method, test device and test system of embedded system
CN106294121A (en) * 2016-07-13 2017-01-04 北京航空航天大学 Aircraft embedded real-time diagnosis reasoning algorithm test method
CN106126504A (en) * 2016-08-26 2016-11-16 重庆红江机械有限责任公司 A2L grammar parser and method
CN106445763A (en) * 2016-09-09 2017-02-22 中国南方电网有限责任公司电网技术研究中心 Power distribution and utilization big data platform test method and system
CN106774244A (en) * 2016-12-05 2017-05-31 南京大全自动化科技有限公司 Data acquisition and the simulation test instrument and its method of testing of supervisor control
CN108776278A (en) * 2018-07-05 2018-11-09 国网湖北省电力有限公司电力科学研究院 A kind of the configuration type relay protection test system and method for topological correlation
CN109783345A (en) * 2018-12-03 2019-05-21 百度在线网络技术(北京)有限公司 A kind of small routine performance test methods and system

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
智能工厂中AML 的应用研究;程建 等;《制造技术与机床》(第8期);第38-41页 *
自动化标记语言Automation ML 健壮性分析及验证;陈曦 等;《数字技术与应用》;第37卷(第05期);第125-127页 *
采用Automation ML 对工程工具数字孪生建模的方法;陈曦 等;《信息与电脑》(第7期);第23-25页 *

Also Published As

Publication number Publication date
CN111796998A (en) 2020-10-20

Similar Documents

Publication Publication Date Title
Papadopoulos et al. Model-based synthesis of fault trees from matlab-simulink models
CN106777101B (en) Data processing engine
CN106951694B (en) Adaptive modeling method for online monitoring system of secondary equipment of power system
Cupek et al. “Digital Twins” for highly customized electronic devices–Case study on a rework operation
CN104933224A (en) Quick configurator of electronic equipment for intelligent substation
Hopsu et al. On portability of IEC 61499 compliant structures and systems
Moser et al. Efficient automation systems engineering process support based on semantic integration of engineering knowledge
Jetley et al. Applying software engineering practices for development of industrial automation applications
CN112416336B (en) Software architecture design method for aerospace embedded system
CN111796998B (en) AML language performance verification system
CN111796805B (en) AML language performance verification method
US8042024B2 (en) Method, system, and computer program product for reconstructing a data stream
CN111242470B (en) Manufacturing resource modeling and calling method based on intelligent contract
EP3980854A1 (en) A system for generation of a holistic digital twin
Mónica et al. Agent-based communication to map and exchange shop floor data between MES and material flow simulation based on the open standard CMSD
CN113705143A (en) Automatic simulation system and automatic simulation method
CN111796828A (en) AML language checking method
CN111414440B (en) Method and system for verifying control system algorithm configuration diagram by utilizing data flow isomorphism
Runde et al. EDDL and semantic web—From field device integration (FDI) to Future Device Management (FDM)
Barth et al. Efficient use of data exchange formats in engineering projects by means of language integrated queries—Engineers LINQ to XML
CN114115843A (en) Low code production method of index data and visualized data processing system thereof
CN112416367A (en) Application resource change influence analysis system based on software reverse disassembly and analysis
CN114755990B (en) Low-code control system and control method for industrial automation production line
Jang et al. Design of an Algorithm for the Validation of SCL in Digital Substations
CN113065256B (en) Calibration method of ICD (interface control document) model of intelligent device of transformer substation based on rule file

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant