Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Automatic construction method for PLC (Programmable Logic Controller) program to NuSMV input model

A technology for inputting models and constructing methods, applied in program control, electrical program control, program control in sequence/logic controllers, etc., can solve the problems of formal definition, inability to process, waste of manpower, etc., and improve model detection The effect of accuracy and efficiency

Active Publication Date: 2017-09-22
THE PLA INFORMATION ENG UNIV +1
View PDF1 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

NuSMV is an SMV-based model checking tool, which is widely used in the discovery of programmable logic controller defect codes. However, NuSMV cannot directly process PLC source programs. It can only manually translate source programs into NuSMV input models, and then perform model testing. , not only wastes a lot of manpower, but also error-prone
At present, the research on PLC program at home and abroad is mainly to define the structure of PLC program denotational semantics and the semantic function of programming language, but these studies only stop at the simple formal definition of PLC program semantics

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
  • Automatic construction method for PLC (Programmable Logic Controller) program to NuSMV input model
  • Automatic construction method for PLC (Programmable Logic Controller) program to NuSMV input model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0038] Embodiment one, such as figure 1 and figure 2 Shown, a kind of PLC program to the automatic construction method of NuSMV input model, comprises the following steps:

[0039] Step 1, analyze the ST language of PLC, construct the grammar of ST language;

[0040] According to the IEC61131-3 standard, analyze the ST language of the PLC, analyze the structure, keywords, expressions, assignments, comments, operator priorities, conditional statements, loop statements and jump statements of the ST language, and write the corresponding grammatical form.

[0041] As an implementation manner, take the conditional statement IF statement as an example to write the corresponding statement syntax as follows: IF_Stmt→IF Condition THEN Statement{ELSE Statement}END_IF.

[0042] Step 2, process the ST program according to the ST grammar given in Step 1, and parse the ST program into an abstract syntax tree AST;

[0043] Further, the ST program is parsed into an abstract syntax tree AS...

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 relates to the technical field of industrial automation control, in particular to an automatic construction method for a PLC (Programmable Logic Controller) program to a NuSMV input model. The method comprises the following steps that: analyzing the ST (Structured Text) language of the PLC, and constructing the grammar of the ST language; according to the given ST grammar, carrying out processing on a ST program, and analyzing the ST program into an AST (Abstract Syntax Tree); processing the AST, analyzing the control flow characteristics of a ST language statement, and determining the algorithm of each statement for generating a CFG (Control Flow Graph); according to the CFG, carrying out data flow analysis on the ST program, and constructing a state transition adjacency list and a variable value change adjacency list; and according to the constructed state transition adjacency list and variable value change adjacency list, generating the NuSMV input model. By use of the method, efficiency and accuracy for a NuSMV tool to carry out model detection on a PLM program are greatly improved, and the safety verification of an industrial control system PLC code is realized.

Description

technical field [0001] The invention relates to the technical field of industrial automation control, in particular to an automatic construction method from a PLC program to a NuSMV input model. Background technique [0002] Industrial control systems are widely used in the field of industrial automation and control, such as national infrastructure such as electric power, petroleum, and national defense technology, as well as people's livelihood fields such as food, medicine, and transportation. Industrial control security is related to economic development, social stability and national security. In recent years, with the in-depth integration of informatization and industrialization, industrial control systems have changed from stand-alone to interconnected, from closed to open, from automation to intelligent, but at the same time, they have also brought unprecedented challenges to the security of industrial control systems. [0003] Industrial controller, that is, program...

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/36G05B19/05
CPCG05B19/056G05B2219/13138G06F11/3604
Inventor 魏强常天佑麻荣宽耿洋洋刘雯雯
Owner THE PLA INFORMATION ENG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com