Space Irradiation Resistant Fault Detection Method Based on Weighted Merkle Tree

A fault detection and anti-irradiation technology, which is applied in the direction of redundant code error detection, response error generation, software testing/debugging, etc., can solve the problems of high overhead and waste of Hash verification

Active Publication Date: 2016-08-31
北京神舟航天软件技术股份有限公司
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] 2. It is too expensive to perform Hash verification on the entire code segment and data segment one by one, and there is waste. According to the 28th principle, 20% of hot codes and hot data are often executed and accessed, and its data integrity is of great importance to system security. The impact is large, while the remaining part has a small impact on system security
[0007] 3. The affected position of the spatial single event flip is random. The problem may occur anywhere in the code segment, or it may appear in the location where the Hash table is saved. A single Hash table cannot determine where a single point of failure will occur.

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

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0029] A spatial anti-irradiation fault detection method based on weighted Merkle trees, the steps are as follows: use a compiler to generate corresponding weighted Merkle Hash trees for key code segments; Granular and efficient error detection, thus providing a fine-grained and efficient single-point error detection mechanism.

[0030] In the present embodiment, the construction of the weighted Merkle Hash tree;

[0031] 1) During the program compilation process, the code segment of the system is divided according to the unit of the basic block; the basic block is the basic unit of the sequential execution of the program, once the first statement of the basic block is executed, then the statement inside the basic block It must also be executed once; if a basic block is too large, the basic block will be split into several basic blocks of uniform size, so that the entire system code segment is divided into N basic blocks of approximate size; during the compilation process, the...

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 space radiation-resisting fault detection method based on a weighting Merkle tree. The space radiation-resisting fault detection method is characterized by comprising the following steps of generating a corresponding weighting Merkle Hash tree for a critical code section by using a compiler; then carrying out fine-grained and high-efficiency error detection based on the Merkle Hash tree during task idle under the support of an operation system, thus providing a fine-grained and high-efficiency single-point error detection mechanism. The invention provides the fine-grained and high-efficiency single-point error detection mechanism which provides the support for realizing a radiation error-resisting system in a spaceflight application system.

Description

technical field [0001] The invention belongs to the field of software reliability, and in particular relates to a space anti-irradiation fault detection method realized based on a weighted Merkle tree. Background technique [0002] Cosmic radiation is a major threat to spacecraft. There are many high-energy particles in space. After these particles enter the semiconductor, they ionize a large amount of charge through Coulomb action, which causes the logic flip and lock of the semiconductor digital integrated circuit, and may even burn the device. Specifically, it includes: single event flip, single Particle latch-up and single-event burn-out may cause the logic state in a semiconductor circuit to flip, that is, flip from logic 1 to logic 0 or vice versa. Satellite failures caused by single event effects account for 80% of the total number of space radiation failures. Due to the high cost and power consumption of radiation-resistant devices, but relatively low performance, ...

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/36G06F11/10
Inventor 李尚杰吕紫旭周启平程胜
Owner 北京神舟航天软件技术股份有限公司
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