Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

A Reliability Modeling and Analysis Method of Self-healing Processor-to-Lockstep System

A reliability and processor technology, applied in electrical digital data processing, instrumentation, generation of response errors, etc., can solve the problems of complex modeling process, cumbersome process, and the system is not friendly enough, and achieve good support and modeling process. simple effect

Active Publication Date: 2021-11-12
NORTHWESTERN POLYTECHNICAL UNIV
View PDF9 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] Although the above method can obtain the reliability index of the embedded system, for the lockstep system, there are the following problems in reliability analysis using this method: the process of converting AADL to GSPN is cumbersome, and the modeling process is relatively complicated; bottom-up iteration The method is suitable for existing systems, and is not friendly enough for systems that do not yet exist or are under development; it is suitable for general embedded systems, and has no specificity for the self-monitoring and self-repair functions of lockstep processor pairs

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
  • A Reliability Modeling and Analysis Method of Self-healing Processor-to-Lockstep System
  • A Reliability Modeling and Analysis Method of Self-healing Processor-to-Lockstep System
  • A Reliability Modeling and Analysis Method of Self-healing Processor-to-Lockstep System

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] The present invention will be further described below in conjunction with the embodiments and accompanying drawings.

[0020] Such as figure 1 As shown, the present invention employs a simple self-healing processor-to-lockstep system as an embodiment.

[0021] When the system is running, the two processors load the same load at the same time and run at the same time. When the processor needs to access memory, the lockstep unit controls the internal bus to maintain, and the processor sends the memory access data to the lockstep unit for comparison. If the comparison is correct, the lockstep unit controls the internal bus to enable, and the processor memory access process continues; if the comparison is wrong, it means that processor 1 or 2 has an instantaneous fault, and the fault processing process is transferred.

[0022] When the system is running normally, the processor stores its own running state in the buffer of the fault processing unit at a fixed time; if no fa...

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 present invention provides a method for modeling and analyzing the reliability of a self-repairing processor to a lockstep system. Firstly, the state of the lockstep system and the self-repairing processor is abstracted into a library set, and the faults of the processor and other components The occurrence and repair actions are abstracted into a transition set, and then the relationship between the place set and the transition set is abstracted into a directed arc set and ignition transition rules between them, and then the failure rate and repair rate information of each component is abstracted into a delay time The average implementation rate of transition elements, thus the GSPN reliability model of the lock-step system is obtained. After the model is initialized, according to the ignition transition rules, all the states reachable by the lockstep system are obtained, and then the isomorphic Markov chain of the GSPN reliability model is constructed, and the cumulative probability function equation of the reachable states of the GSPN reliability model is obtained and solved , to obtain the reliability function of the lock-step system, so as to complete the reliability analysis of the lock-step system. The modeling process of the invention is simple, and the reliability function of the system can be obtained accurately.

Description

technical field [0001] The invention relates to the field of computer reliability analysis, in particular to a reliability modeling and analysis method of a lock-step system. Background technique [0002] Processor lockstep (Lockstep) technology means that two processors form a self-monitoring pair, constantly check the correctness of the operation function, and establish a fault suppression zone to prevent the fault from spreading to the system. In a lockstep system that supports fault self-healing, after a lockstep fault occurs, the transient fault of the processor can also be repaired by means of processor state rollback. In order to improve the reliability of high safety-critical systems such as aviation and aerospace computer control, processor lockstep technology is more and more used in the above fields. [0003] As lockstep technology matures and its application fields become more and more extensive, the reliability analysis of lockstep systems has become an urgent ...

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/16
CPCG06F11/1641G06F11/1658
Inventor 朱怡安杨淏天李联
Owner NORTHWESTERN POLYTECHNICAL UNIV
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
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