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

Method for checking equivalence of code

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

Active Publication Date: 2018-01-09
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
  • Method for checking equivalence of code
  • Method for checking equivalence of code
  • Method for checking equivalence of code

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 for control systems, in particular control systems based on programmable logic controllers, engineered from function block diagrams (120, 196) with a plurality of interconnected function blocks, the method comprising the following steps: a) generating a first instance of compilable source code from a first plurality of function block diagrams (70, 74, 78) by virtue of a first code generator obeying to a first set of sequentialization rules; b) parsing said first instance of source code and identifying the set of all function block I / O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow; c) using the information from step b) to reconstruct a first data flow graph (86)of said first instance of source code in the upstream direction; d) generating a second instance of compilable source code from a second plurality of function block diagrams (90, 94, 98) by virtue ofthe same or a second code generator obeying a second set of sequentialization rules; e) parsing said second instance of source code and identifying the set of all function block I / O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow; f) using the information from step e) to reconstruct a second data flow graph (106) of said second instance of source code in the upstream direction; and g) comparing said first identified data flow graph (86) and said second identified data flow graph (106) with each other, node by node, and thereby checking ifthe transitive closure of input up to that node in said second instance of source code is the same as in said first instance of 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
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