Check patentability & draft patents in minutes with Patsnap Eureka AI!

Method for modeling and analyzing the reliability of a lock step system by a self-repairing processor

A reliability and processor technology, applied in the direction of electrical digital data processing, instrumentation, response error generation, etc., can solve problems such as complex modeling process, cumbersome process, and unfriendly system, and achieve good support and smooth modeling process. simple effect

Active Publication Date: 2019-03-22
NORTHWESTERN POLYTECHNICAL UNIV
View PDF9 Cites 2 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
  • Method for modeling and analyzing the reliability of a lock step system by a self-repairing processor
  • Method for modeling and analyzing the reliability of a lock step system by a self-repairing processor
  • Method for modeling and analyzing the reliability of a lock step system by a self-repairing processor

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] like 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 fault...

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 provides a method for modeling and analyzing the reliability of a lock step system by a self-repairing processor, Firstly, the state of lock-step system and self-healing processor is abstracted into the set of libraries, the fault occurrence and repair actions of processors and other components are abstracted into transition sets, Then, the relationship between the set and transitionset is abstracted into directed arc set and ignition transition rules, and the failure rate and repair rate of each component are abstracted into the average implementation rate of delay transition elements, and the GSPN reliability model of the lockstep system is obtained. After the model is initialized, According to the ignition transition rule, all the reachable states of the lock-step systemare 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 modelis obtained and solved, and the reliability function of the lock-step system is obtained, 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 accurately obtained.

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
IPC IPC(8): G06F11/16
CPCG06F11/1641G06F11/1658
Inventor 朱怡安杨淏天李联
Owner NORTHWESTERN POLYTECHNICAL UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

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