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.

Guarantor

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

Department

Department of Computer Systems (UPSY)

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

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 IT-MSC-2 Master's

    branch MBI , 0 year of study, summer semester, elective
    branch MGM , 0 year of study, summer semester, elective
    branch MIN , 0 year of study, summer semester, elective
    branch MIS , 0 year of study, summer semester, elective
    branch MMM , 0 year of study, summer semester, elective
    branch MPV , 0 year of study, summer semester, elective
    branch MSK , 0 year of study, summer semester, elective

  • Programme MITAI Master's

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

  • Programme RRTES_P Master's

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

  • Programme IT-MSC-2 Master's

    branch MBS , 0 year of study, summer semester, compulsory-optional

  • Programme MITAI Master's

    specialization NEMB up to 2021/22 , 0 year of study, summer semester, elective

Type of course unit

 

Lecture

26 hod., optionally

Teacher / Lecturer

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

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 hod., compulsory

Teacher / Lecturer

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

Syllabus

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