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