FBD program testing method and device

A program and execution model technology, applied in the field of FBD program testing methods and devices, can solve problems such as program testing that cannot be complex systems, and achieve the effect of testing

Pending Publication Date: 2019-08-13
HANGZHOU DIANZI UNIV
View PDF6 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The present invention provides a method and device for testing FBD programs to

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
  • FBD program testing method and device
  • FBD program testing method and device
  • FBD program testing method and device

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0051]The technical solutions in the embodiments of the present invention will be clearly and completely described below with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only a part of the embodiments of the present invention, but not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by those of ordinary skill in the art without creative efforts shall fall within the protection scope of the present invention.

[0052] In this application, functions such as eval function, trans function, build_trans function, build_exec function, and exec function are named only to distinguish each function or program, and do not constitute a limitation.

[0053] Function block diagram (FBD) is one of the three graphic languages ​​in the IEC61131-3 standard, and has a wide range of applications in the field of PLC.

[0054] In the prior art, a formal method is...

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 an FBD program testing method and device, and the method comprises the steps: carrying out the formalized description of an FBD program, and generating a first execution model which comprises an input flow combination, an output flow combination, a state combination, an initial state, a state conversion function, and an output flow generation function; performing formalizeddescription on the design specifications of the FBD program to generate a second execution model; determining an equivalence verification result of the FBD program and the design specification according to the first execution model and the second execution model; and determining that the reliability of the FBD program passes the verification according to the verification result. According to the FBD program testing method and device provided by the invention, the program of a complex system can be tested.

Description

technical field [0001] The invention relates to the field of industrial control, in particular to a testing method and device for an FBD program. Background technique [0002] As the core of industrial automation control, programmable logic controller (PLC) is widely used in robotics, numerical control equipment, transportation, electric power, communication and other fields. As the control system becomes more and more complex and the industrial Internet develops, more and more PLCs need to be connected to the network while completing complex control (logic quantity, analog quantity and motion control mix), which makes the reliability and reliability of PLC Security has become an unavoidable issue. Due to the particularity of the language, the complexity of the system, the closure of the environment and the introduction of special instructions, the testing and verification of the PLC hybrid system is a problem that has not been effectively solved so far. [0003] In the pr...

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
IPC IPC(8): G06F11/36
CPCG06F11/3668
Inventor 邬惠峰严义孙洁香陈佰平赵建勇
Owner HANGZHOU DIANZI UNIV
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