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

Methods for checking code equivalence

A technology of equivalence and source code, applied in the fields of permanent computer readable storage media, permanent computer readable storage devices, computer program products, systems and computers, can solve problems such as complex function block diagrams

Active Publication Date: 2021-01-26
FRAMATOME ANP
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This complicates the "back-translation" of the generated computer code (e.g., C code) into a function block diagram within the engineering database

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
  • Methods for checking code equivalence
  • Methods for checking code equivalence
  • Methods for checking code equivalence

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0048] exist figure 1 A typical structure of the protection function is shown in 2. The typical structure 2 comprises a set of I&C functions 6, 10, 14, 18 implemented in multiple redundancy in a control system for a nuclear power plant. A first of these functions 6 receives a signal from one or more sensors 26 , which is then processed in a calculation block 30 . The calculation result is then passed via the safety network 34 to a further calculation block 38 where it is processed into a signal for controlling one or more actuators 42 . Other functions 10, 14, 18 are realized in the same way.

[0049] In order to implement functions with multiple redundancy, the corresponding function block diagrams for functions 6, 10, 14, 18 are implemented multiple times. In a typical protection system, a particular graph must be implemented up to four times to achieve this redundant partition, even though the logic implemented by these graphs is the same. For these functional block dia...

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

A method for checking the functional equivalence of two pieces of software of a control system, in particular a programmable logic controller based control system designed from a function block diagram (120, 196) having a plurality of interconnected function blocks, the The method comprises the steps of: a) generating a first instance of compilable source code from a first plurality of functional block diagrams (70, 74, 78) by means of a first code generator following a first set of serialization rules; b ) parses the first instance of said source code and identifies groups of all function block I / O ports and nodes (nodes) and all connections between all function block I / O ports and nodes (arcs) of the data flow c) using the information from step b) to reconstruct in the upstream direction a first dataflow graph (86) of a first instance of said source code; d) by means of the first code following the first set of serialization rules generator or a second code generator following a second set of serialization rules to generate a second instance of compilable source code from a second plurality of function block diagrams (90, 94, 98); e) parsing said source code The second instance and identifies the set of all functional block I / O ports and nodes (nodes) and the set of all connections between all functional block I / O ports and nodes (arcs) of the data stream; f) use the set from step e) information to reconstruct in the upstream direction a second dataflow graph (106) of a second instance of said source code; g) combining said first identified dataflow graph (86) with said second identified The dataflow graphs (106) are compared with each other node by node, thereby checking whether the transitive closure up to the input of a node is the same in the second instance of the source code as in the first instance of the source code.

Description

technical field [0001] The invention relates to a method for checking the functional equivalence of two pieces of software of a safety control system. The present invention relates to a control system with source code automatically generated from function block diagrams. The present invention also relates to non-transitory computer readable storage devices. The present invention also relates to non-transitory computer readable storage media. The invention also relates to computer program products, systems and computers. Background technique [0002] For the safe and reliable operation of nuclear power plants or other safety-critical systems, power and control systems are critical, especially safety instrumentation & control (I&C) systems. For a given digital safety I&C system that may have multiple redundant partitions and an engineered system that allows the system engineer to specify the software using FBD (Function Block Diagram) in multiple subsequent releases, there ...

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 Patents(China)
IPC IPC(8): G06F11/36G06F8/70
CPCG06F11/36G05B9/02G06F8/427G06F8/433G06F8/71G21D3/04
Inventor 理查德·克里克尔安德烈亚斯·昆泽尔
Owner FRAMATOME ANP
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