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

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 ...

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

Images