Method, computer program and apparatus for analysing programmable logic controller program

A technology of programming logic and controller, applied in the direction of program control, program control, computer control, etc. in sequential/logic controllers, it can solve problems such as defective input and initial configuration of internal memory, so as to reduce execution time and deploy time efficiently. Effect

Pending Publication Date: 2021-11-09
MITSUBISHI ELECTRIC CORP
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

While parts of test generation and execution can be automated, another disadvantage of this approach is that the output values ​​of the tests must still be analyzed by the programmer, and the only information available about the defect is the input that caused the defect and the initial configuration of the internal memory
Therefore, it is often difficult to understand the root cause of the error and why the initial configuration under consideration would cause it at a certain point in the program

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
  • Method, computer program and apparatus for analysing programmable logic controller program
  • Method, computer program and apparatus for analysing programmable logic controller program
  • Method, computer program and apparatus for analysing programmable logic controller program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0045] In the drawings, the same reference numerals designate the same or similar elements.

[0046] figure 1 An exemplary set of steps designated by reference numeral 10 and involving deductive verification of the ladder diagram program is shown.

[0047] The first step (TRANS) of the method is the transformation step, consisting of the transformation of the PLC program (PROG) into a model (MOD).

[0048] The PLC program PROG can be executed on a programmable logic controller, hereinafter referred to as PLC. PLCs are capable of storing and executing instructions (eg, sequencing, timing, counting, arithmetic, data manipulation, and communication) to control industrial machines and processes. Interface circuits for field devices are provided in the form of input and output connections.

[0049] The ladder diagram represents the sequential control logic of the PLC program in a graphical diagram. The Ladder Diagram language is a graphical language that mimics the figure 2 ...

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

It is disclosed a PLC Program analysis method where a program (PROG) is translated (TRANS) into a model (MOD) in a logical framework, from which properties (Prop) are determined. Said properties coupled with user specifications (IntProp) are verified by an automated solver (SMT). If contraposition of a property (Prop) is satisfiable, counter-examples (PROOF NOK) representative of model inputs and internal memory values is provided. Counter-examples (PROOF NOK) are translated into error initial configurations (IniConf) of said model. Execution of the model is simulated (EXE) with said model error initial configurations (IniConf), and error intermediary configurations (AST-IntConf) of said model simulation are recorded up to said property violation. Error initial and intermediary configurations (Lad-IniConf, Lad-IntConf) of said original program (PROG) are derived from error initial configurations (IniConf) of said model and error intermediary configurations (AST-IntConf) of said model simulation and displayed. An apparatus for executing said method is provided.

Description

technical field [0001] The invention relates to a method and a device for analyzing programs written in a language described in the IEC 61113-3 standard. This type of program is particularly suitable for Programmable Logic Controllers (PLCs) to perform control of industrial systems. [0002] The present invention more particularly relates to methods and apparatus for analyzing, detecting and correcting errors in ladder diagram programs. Background technique [0003] Programmable logic controllers (PLCs) are industrial digital computers that are used as automated controllers for manufacturing processes (eg, assembly lines or robotic equipment). [0004] PLCs are equipped with software that calculates outputs based on inputs and values ​​from internal memory, thus replacing hard-wired relays, timers, and sequencers. Ladder language, also known as ladder logic, is a programming language used to develop PLC software. This language represents the PLC program graphically using ...

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): G05B19/05G05B19/042G06F11/36
CPCG05B19/056G05B19/0426G05B2219/13004G05B2219/13052G05B2219/13142
Inventor D·库西诺
Owner MITSUBISHI ELECTRIC CORP
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