Course detail

Fault Tolerant Systems

FIT-SPPAcad. year: 2022/2023

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.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Learning outcomes of the course unit

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

Prerequisites

Not applicable.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

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

Course curriculum

Not applicable.

Work placements

Not applicable.

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

Specification of controlled education, way of implementation and compensation for absences

Presentation of the project, final exam.

Recommended optional programme components

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

Syllabus

  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.

Project

26 hours, compulsory

Teacher / Lecturer