Controlling program verifying and testing method and system thereof

A technology of control program and test method, applied in the field of control program verification and test method and system, can solve the problems of converting a controller model from a program that cannot be written in an engineering language, reducing simulation efficiency, prone to errors, etc., so as to improve simulation efficiency As well as the accuracy, the effect of ensuring the performance of the control algorithm

Active Publication Date: 2013-05-08
SIEMENS AG
View PDF4 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the existing automatic conversion module cannot convert the program written in the engineering language into the controller model. Therefore, if the control program written in the engineering language is modified, it is necessary to manually modify the required parameters during the simulation. control algorithm and upgrade the virtual controller model, which reduces the simulation efficiency and is prone to errors

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Controlling program verifying and testing method and system thereof
  • Controlling program verifying and testing method and system thereof
  • Controlling program verifying and testing method and system thereof

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0037] The preferred embodiments of the present invention will be described in detail below in conjunction with the accompanying drawings.

[0038] as attached figure 1 As shown, the overall system architecture for verifying and testing the control program provided by the present invention involves the verification and testing system 11 of the control program, the control program 12 written in engineering language and the controller 13, wherein,

[0039] The control program verification and testing system 11 is used to perform semantic analysis on the control program 12 written in engineering language, build a program dependency graph, and convert the control program 12 written in engineering language into a general-purpose intermediate-level language according to the program dependency graph. The control program represented by the intermediate language is then simulated to verify and test the performance of the control program; after the control program verification and the t...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides a controlling program verifying and testing method which is used for directly verifying and testing controlling programs compiled in engineering languages so as to improve simulating efficiency and accuracy. The controlling program verifying and testing method includes: an analysis step, performing semantic analysis on a first controlling program compiled in engineering languages, and building a program dependency graph; a transformation step, according to the program dependency graph, transforming the first controlling program to a second controlling program which is supported by a simulation module and represented in general middle level languages; and a simulation step, performing simulation of the second controlling program based on the simulation module to verify and test performance of the second controlling program. The invention further provides a controlling program verifying and testing system.

Description

technical field [0001] The invention relates to the field of automatic control, in particular to a control program verification and testing method and system. Background technique [0002] With the rapid development of the automation industry, more and more large-scale automatic control systems and more and more new technologies or new equipment have appeared in the automation market. At the same time, as the users of automation equipment or systems put forward more and more requirements, the design of the control algorithm used in the control system faces the following challenges: more performance requirements for different aspects, such as system stability and efficiency; The introduction of new technology or equipment requires higher complexity of the control algorithm; the standards specified by the government or industrial systems make the performance requirements of the control algorithm higher. [0003] At present, when designing simple control algorithms, most desig...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 龙飞介鸣潘莉
Owner SIEMENS AG
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap