DocumentCode :
1731361
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
fYear :
1993
Firstpage :
221
Lastpage :
230
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference, 1993. 12th DASC., AIAA/IEEE
Conference_Location :
Fort Worth, TX
Print_ISBN :
0-7803-1343-7
Type :
conf
DOI :
10.1109/DASC.1993.283543
Filename :
283543
Link To Document :
بازگشت