Fault Tolerant Systems

• 26 hrs lectures
• 26 hrs projects

• 70 pts final exam (written part)
• 30 pts projects

To inform the students about different types of redundancy and its application for the design of computer systems being able to function correctly even under presence of faults or errors in data.
Skills to achieve fault tolerance using hardware and software approaches.

Fault tolerance represents a fundamental element for achieving required dependability and usability of modern computer and communication systems in all important areas of life (e.g. medical care, transportation, financial services). Theoretical as well as practical skills of constructing fault-tolerant systems will help the graduates to a better employment in various domais.

Basics of linear algebra and discrete mathematics, basics of digital system design.

• Lin, S., Costello, D.J.: Error Control Coding: Fundamentals and Applications, 2. vyd., PEARSON, 2010
• Koren, I., Krishna, C. M.: Fault-Tolerant Systems, 2. vyd., Morgan Kaufmann, 2020
• Sanvicente, E.: Understanding Error Control Coding. Springer, 2019
• Dumas, J.-G., Roch, J.-L., Tannier, E., Varrette, S.: Foundations of Coding: Compression, Encryption, Error Correction. Wiley-Blackwell, 2015
• Jiang, Y.: A Practical Guide to Error-Control Coding Using MATLAB. Artech House, 2010

• Lin, S., Costello, D.J.: Error Control Coding: Fundamentals and Applications, 2. vyd., PEARSON, 2010
• Koren, I., Krishna, C. M.: Fault-Tolerant Systems, 2. vyd., Morgan Kaufmann, 2020
• Sanvicente, E.: Understanding Error Control Coding. Springer, 2019
• Dumas, J.-G., Roch, J.-L., Tannier, E., Varrette, S.: Foundations of Coding: Compression, Encryption, Error Correction. Wiley-Blackwell, 2015
• Jiang, Y.: A Practical Guide to Error-Control Coding Using MATLAB. Artech House, 2010

1. Principles of fault tolerance, structures and techniques.
2. Approaches to control and correction of information. Hardware, data and hybrid techniques.
3. Basic error-control codes: parity codes, control checksum.
4. Linear block codes: Hamming codes, sparse parity codes. Matrix description of codes.
5. Cyclic codes: circuit implementation, CRC.
6. Galois fields for advanced coding.
7. BCH and Reed-Solomon codes.
8. Codes for Flash memories and CDROM. RAID - RAIM
9. Introduction to quantum computing: basic concepts and algebraic structures.
10. Quantum operators, quantum gates, quantum circuits.
11. Quantum error correction.
12. Programming and simulation of quantum algorithms.
13. Fault tolerance at the VLSI level. Distributed fault-tolerant systems.

Individual project assignment.

Project processing, presentation and obtaining at least 10 points.

Project processing, presentation and obtaining at least 10 points.