Title :
Reducing the probability of common-mode failure in the fault tolerant parallel processor
Author :
Lala, Jaynarayan H. ; Harper, Richard E.
Author_Institution :
Adv. Comput. Archit. Group, Charles Stark Draper Lab. Inc., Cambridge, MA, USA
Abstract :
The Fault Tolerant Parallel Processor (FTPP) has been designed in strict accordance with the theory of Byzantine Resilience and meets all the known requirements for tolerating arbitrary random hardware faults. We have broadened our scope to provide very high coverage for common mode faults (CMFs). A layered defense approach against CMFs has been developed that consists of fault avoidance, fault removal and real-time fault tolerance that can be applied during the requirements specification, design and development phases test and validation phases and operational phases, respectively. This paper provides a taxonomy of common-mode faults and describes the layered defense approach against CMF being used in the FTPP
Keywords :
fault tolerant computing; formal specification; formal verification; parallel architectures; probability; specification languages; Byzantine Resilience; common mode faults; common-mode failure; fault avoidance; fault tolerant parallel processor; layered defense approach; random hardware faults; real-time fault tolerance; Application software; Computer architecture; Fault detection; Fault tolerance; Hardware; Laboratories; Redundancy; Resilience; Taxonomy; Testing;
Conference_Titel :
Digital Avionics Systems Conference, 1993. 12th DASC., AIAA/IEEE
Conference_Location :
Fort Worth, TX
Print_ISBN :
0-7803-1343-7
DOI :
10.1109/DASC.1993.283543