A Markov model reduction technique for fault tolerant processor reliability analysisA fault tolerant processor (FTP) plays a key role in many high performance, safety-critical control system applications. Realistic modeling of an FTP is crucial to gaining a high degree of confidence in the reliability and safety analysis of such a system. While fidelity is clearly a major consideration, a practical model must also be kept to a moderate size to allow its incorporation into the overall system model. This paper presents a systematic reduction technique that starts from a complex, detailed model of a triple, redundant FTP and produces a low order approximation of very high accuracy. The existence of two distinct time scales represents the key to the success of the technique. No eigenvalue solution or coordinate transformation are needed. The reduced model captures all the important features of the detailed model, is amenable to an analytical solution and provides insight into the reconfiguration behavior of an FTP.
Document ID
19920035023
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Schor, Andrei L. (Draper (Charles Stark) Lab., Inc. Cambridge, MA, United States)
Rosch, Gene (Charles Stark Draper Laboratory, Inc. Cambridge, MA, United States)