Modul SC3 - Self-Checking and Fault-Tolerant Digital Design

Fundamentals of Reliability

• Error Detecting and Correcting Codes
• Parity code
• Multiple Error Detecting Codes
• Residue Codes
• Error Correcting Codes

Self-Checking Combinational Logic Design

• Fault-Secure Circuits
• Code-Disjoint Circuits
• Error-Free Combinational Circuits
• Self-Dual Party Checking
• Fail-Safe Combinational Circuit Design

Self-Checking Checkers

• The Two-Rail Checker
• Totally Self-Checking Checkers

Self-Checking Sequential Circuit Design

• Faults in State Machines
• Self-Checking State Machine Design Techniques
• Elimination of Bidirectional Errors
• Synthesis of Redundant Fault-Free State Machines
• Dekomposition of Finite State Machines
• Self-Checking Interacting State Machine Design
• Fail-Safe State Machine Design

Fault-Tolerant Design

• Hardware Redundancy
• Information Redundancy
• Time Redundancy
• Software Redundancy
• System-Level Fault-Tolerance