Course detail

Fault Tolerant Systems

FIT-SPPAcad. year: 2026/2027

Principles of fault tolerance, structures and techniques for increasing the fault tolerance of systems. Codes for control and correction of information. Linear block codes. Sparse parity codes. Matrix description of codes. Galois fields. Cyclic codes. BCH and RS codes. Codes for Flash memories and CDROM. Quantum computing and error correction in quantum systems.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

doc. Ing. Michal Bidlo, Ph.D.

Department

Department of Computer Systems (UPSY)

Entry knowledge

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

Rules for evaluation and completion of the course

Project processing, presentation and obtaining at least 10 points for the admission to final exam. To pass the final exam with obtaining at least 50 points in sum from the evaluated activities of the course. 

Aims

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.

Study aids

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

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
Koren, I., Krishna, C. M.: Fault-Tolerant Systems, 2. vyd., Morgan Kaufmann, 2020
Lin, S., Costello, D.J.: Error Control Coding: Fundamentals and Applications, 2. vyd., PEARSON, 2010
Sanvicente, E.: Understanding Error Control Coding. Springer, 2019

Recommended reading

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
Koren, I., Krishna, C. M.: Fault-Tolerant Systems, 2. vyd., Morgan Kaufmann, 2020
Lin, S., Costello, D.J.: Error Control Coding: Fundamentals and Applications, 2. vyd., PEARSON, 2010
Sanvicente, E.: Understanding Error Control Coding. Springer, 2019

Classification of course in study plans

  • Programme MITAI Master's

    specialization NHPC , 0 year of study, summer semester, elective
    specialization NVER , 0 year of study, summer semester, compulsory, profile core courses
    specialization NIDE , 0 year of study, summer semester, elective
    specialization NISY , 0 year of study, summer semester, elective
    specialization NEMB , 0 year of study, summer semester, elective
    specialization NSPE , 0 year of study, summer semester, elective
    specialization NEMB , 0 year of study, summer semester, elective
    specialization NBIO , 0 year of study, summer semester, elective
    specialization NSEN , 0 year of study, summer semester, elective
    specialization NVIZ , 0 year of study, summer semester, elective
    specialization NGRI , 0 year of study, summer semester, elective
    specialization NADE , 0 year of study, summer semester, elective
    specialization NISD , 0 year of study, summer semester, elective
    specialization NMAT , 0 year of study, summer semester, elective
    specialization NSEC , 0 year of study, summer semester, elective
    specialization NNET , 0 year of study, summer semester, elective
    specialization NMAL , 0 year of study, summer semester, elective
    specialization NCPS , 0 year of study, summer semester, elective

  • Programme NMSP-RRTES Master's

    specialization RRTS , 2 year of study, summer semester, compulsory-optional

Type of course unit

 

Lecture

26 hod., optionally

Teacher / Lecturer

doc. Ing. Michal Bidlo, Ph.D.

Syllabus

  1. Introduction to Fault-Tolerant Systems (FTS).
  2. Basic principles of FTS. Means for the dependability system analysis.
  3. Increasing system dependability (1): static, dynamic and time redundancy.
  4. Increasing system dependability (2): watchdogs, hybrid systems, Markov models.
  5. Information redundancy: Introduction to error-correcting codes. Parity codes, Berger code.
  6. Linear Block Codes: Hamming codes, Low-Density Parity Codes.
  7. Algebra for error-correcting codes (1): matrix description of codes.
  8. Algebra for error-correcting codes (2): Galois fields.
  9. Cyclic codes: CRC, circuit realisation of code operations.
  10. Advanced cyclic codes: BCH codes, Reed-Solomon codes.
  11. Quantum computing basics. Fault-tolerance in quantum computing.
  12. Basic principles of fault-tolerant implementation of quantum circuits.
  13. Practical demonstration of programming and simulation of quantum circuits.

Project

26 hod., compulsory

Teacher / Lecturer

doc. Ing. Vladimír Drábek, CSc.
doc. Ing. Michal Bidlo, Ph.D.

Syllabus

Individual project assignment based usually on studying selected topic and creating a presentation of relevant ideas within approximately 25 minutes.

Individual preparation for a lecture

26 hod., optionally

Teacher / Lecturer

doc. Ing. Michal Bidlo, Ph.D.

Syllabus

Studying recommended litterature and support material for individual lecture topics.

Individual preparation - creating a presentation

26 hod., optionally

Teacher / Lecturer

doc. Ing. Michal Bidlo, Ph.D.

Syllabus

Preparation of the presentation speak as the outcome of SPP project.

Individual preparation for an ending of the course

26 hod., optionally

Teacher / Lecturer

doc. Ing. Michal Bidlo, Ph.D.

Syllabus

Studying recommended literature and support material for individual topics of the SPP course according to the instructions for final exam.