• 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