Course detail

Fault Tolerant Systems

FIT-SPPAcad. year: 2023/2024

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. Cyclic codes. Galois field construction for cyclic codes. BCH and RS codes. Codes for Flash memories and CDROM. Fault tolerance at the VLSI level. Fault tolerance in computer systems and communication networks. Radiation fault tolerance. Fault tolerance in distributed systems.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

doc. Ing. Vladimír Drábek, CSc.

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.

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

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

Recommended reading

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

Classification of course in study plans

  • Programme IT-MGR-2 Master's

    branch MBI , any year of study, summer semester, elective
    branch MPV , any year of study, summer semester, elective
    branch MGM , any year of study, summer semester, elective
    branch MSK , any year of study, summer semester, elective
    branch MIS , any year of study, summer semester, elective
    branch MBS , any year of study, summer semester, compulsory-optional
    branch MIN , any year of study, summer semester, elective
    branch MMM , any year of study, summer semester, elective

  • Programme MITAI Master's

    specialization NADE , any year of study, summer semester, elective
    specialization NBIO , any year of study, summer semester, elective
    specialization NGRI , any year of study, summer semester, elective
    specialization NNET , any year of study, summer semester, elective
    specialization NVIZ , any year of study, summer semester, elective
    specialization NCPS , any year of study, summer semester, elective
    specialization NSEC , any year of study, summer semester, elective
    specialization NEMB , any year of study, summer semester, elective
    specialization NEMB do 2021/22 , any year of study, summer semester, elective
    specialization NHPC , any year of study, summer semester, elective
    specialization NISD , any year of study, summer semester, elective
    specialization NIDE , any year of study, summer semester, elective
    specialization NISY do 2020/21 , any year of study, summer semester, elective
    specialization NISY , any year of study, summer semester, elective
    specialization NMAL , any year of study, summer semester, elective
    specialization NMAT , any year of study, summer semester, elective
    specialization NSEN , any year of study, summer semester, elective
    specialization NVER , any year of study, summer semester, compulsory
    specialization NSPE , any year of study, summer semester, elective

  • Programme RRTES_P Master's

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

Type of course unit

 

Lecture

26 hours, optionally

Teacher / Lecturer

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

Syllabus

  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.

Project

26 hours, compulsory

Teacher / Lecturer

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

Syllabus

Individual project assignment.