Course details

Fault Tolerant Systems

SPP Acad. year 2022/2023 Summer semester 5 credits

Current academic year

Principles of fault tolerance, data and circuit structures and techniques. Codes for control and correction of information, information redundance. Linear block codes: Hamming codes, parity codes. Matrix description of codes. Finite fields and their construction. Cyclic codes: principles and properties, CRC, BCH and Reed-Solomon codes. Architectures of codes for Flash memories and CDROM. Introduction to Quantum Computing, quantum error correction. Fault tolerance at VLSI level. Security in communication networks, distributed fault-tolerant systems.

Guarantor

Course coordinator

Language of instruction

Czech

Completion

Credit+Examination (written)

Time span

  • 26 hrs lectures
  • 26 hrs projects

Assessment points

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

Department

Lecturer

Subject specific learning outcomes and competences

Skills and approaches to building fault tolerance using hardware and software.

Learning objectives

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 and data errors.

Why is the course taught

Ensuring correct system functioning in case of presence of errors has an enormous importance for modern technology. The study of this field allows understanding the functioning of many systems from everyday life from CD, DVD or Flash memories to modern digital broadcasting or satelite communication. These systems would be practically useless without self-correcting codes.

Study literature

  • 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

Fundamental literature

  • 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

Syllabus of lectures

  1. Introduction, basic terms, structures and techniques of fault-tolerant systems. Classes of applications.

  2. Ways to achieve fault-tolerance: circuit-level, data-level and mixed-level approaches.

  3. Basic codes for data security and their properties: parity codes, check-sums, m-in-n codes, arithmetic codes, residual codes.

  4. Linear block codes: Hamming codes, sparse parity codes. Matrix description of codes.

  5. Cyclic codes: principles and circuits. CRC codes.

  6. Finite fields for advanced cyclic codes.

  7. Advanced cyclic codes: BCH codes, Reed-Solomon Codes.

  8. Falut-tolerance in memories: Flash, CDROM. Codes for digital broadcasting DVB-T2. Principles of RAID.

  9. Introduction to Quantum Computing: basic terms, mathematical structures, operators, quantum gates and circuits.

  10. Quantum error correction.

  11. Programming and simulation of quantum computation and quantum error correction.

  12. VLSI-level fault-tolerance, radiation fault-tolerance. Security in communication networks, fault-tolerant distributed systems.

Syllabus - others, projects and individual work of students

Studium a prezentace odborného článku formou přednášky v rozsahu cca 15 minut.

Progress assessment

Project processing in the form of studying a selected article and its presentation.

Controlled instruction

Presentation of the project, final exam.

Exam prerequisites

Project processing and its presentation, achieving the minimal project evaluation 10 points.

Course inclusion in study plans

Back to top