PLC program design method based on timed automata

A time automaton and automaton technology, applied in software design, program code conversion, visual/graphic programming, etc., can solve problems such as application logic errors, cumbersome programming workload, and difficult to check, and achieve good structure and avoid inevitable problems. The effect of reaching the sequence and ensuring the correctness

Active Publication Date: 2018-10-19
HUAZHONG UNIV OF SCI & TECH
View PDF4 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Aiming at the defects and improvement needs of the prior art, the present invention provides a PLC program design method based on time automata, aiming to solve the programming

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
  • PLC program design method based on timed automata
  • PLC program design method based on timed automata
  • PLC program design method based on timed automata

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0040] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention. In addition, the technical features involved in the various embodiments of the present invention described below can be combined with each other as long as they do not constitute a conflict with each other.

[0041] Before the technical solution of the present invention is described in detail, a brief introduction will be given to the railway control system which uses the present invention to design its PLC program. The railway control system controls the use rights of three trains to a bridge. The bridge is a key shared resource, and only one train can pass at any time. The train cannot stop or sta...

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 discloses a PLC program design method based on a timed automata. The method comprises the following steps: according to the application requirements of an industrial control system, dividing the industrial control system into a plurality of subsystems, and constructing a timed automata model for each subsystem; instantiating each constructed timed automata model to generate the corresponding process, and then simulating and verifying the generated process; converting each timed automata into its corresponding SFC language function block to obtain a plurality of SFC function blocks and a PLC project comprising the plurality of SFC function blocks; according to the designed conversion rules, converting the variable declarations, state and transition edges, synchronization and system declarations in the time automata into PLC programs correspondingly to obtain the complete PLC programs satisfying the IEC 61131-3 standard. The invention can solve the problems that the programming workload is tedious and the application program logic error is difficult to check due to the huge number of states in the PLC programming process of the complex industrial control system.

Description

technical field [0001] The invention belongs to the technical field of programmable controller software, and more specifically relates to a PLC (Programmable Logic Controller, Programmable Logic Controller) programming method based on a timed automaton. Background technique [0002] PLC is a kind of industrial control device with rich functions and high intelligence developed on the basis of computer technology, electrical automation control technology and network communication technology with microprocessor as the core. The IEC61131 standard makes up for the weaknesses of traditional PLC control systems such as poor openness, poor compatibility, poor maintainability and poor reusability, and has been widely used in the field of industrial control. Although the IEC61131 standard programming language defines three graphical programming languages: Ladder Logic Programming Language (LD, Ladder Logic Programming Language), Function Block Diagram (FBD, Function Block Diagram) and...

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): G06F8/20G06F8/34G06F8/41
CPCG06F8/20G06F8/34G06F8/42
Inventor 王晓宇黄青青陈吉红周星黄黎明
Owner HUAZHONG UNIV OF SCI & TECH
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