Course details
Fault Tolerant Systems
SPP Acad. year 2022/2023 Summer semester 5 credits
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
Completion
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
-
Introduction, basic terms, structures and techniques of fault-tolerant systems. Classes of applications.
-
Ways to achieve fault-tolerance: circuit-level, data-level and mixed-level approaches.
-
Basic codes for data security and their properties: parity codes, check-sums, m-in-n codes, arithmetic codes, residual codes.
-
Linear block codes: Hamming codes, sparse parity codes. Matrix description of codes.
-
Cyclic codes: principles and circuits. CRC codes.
-
Finite fields for advanced cyclic codes.
-
Advanced cyclic codes: BCH codes, Reed-Solomon Codes.
-
Falut-tolerance in memories: Flash, CDROM. Codes for digital broadcasting DVB-T2. Principles of RAID.
-
Introduction to Quantum Computing: basic terms, mathematical structures, operators, quantum gates and circuits.
-
Quantum error correction.
-
Programming and simulation of quantum computation and quantum error correction.
-
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
- Programme IT-MGR-2, field MBI, MGM, MIN, MIS, MMM, MPV, MSK, any year of study, Elective
- Programme IT-MGR-2, field MBS, any year of study, Compulsory-Elective group B
- Programme MITAI, field NADE, NBIO, NCPS, NEMB, NEMB up to 2021/22, NGRI, NHPC, NIDE, NISD, NISY, NISY up to 2020/21, NMAL, NMAT, NNET, NSEC, NSEN, NSPE, NVIZ, any year of study, Elective
- Programme MITAI, field NVER, any year of study, Compulsory