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
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Project processing in the form of studying a selected article and its presentation.
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Presentation of the project, final exam.
Recommended optional programme components
Prerequisites and corequisites
Basic literature
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
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
Teacher / Lecturer
Syllabus
-
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.
Project
Teacher / Lecturer
Syllabus
Studium a prezentace odborného článku formou přednášky v rozsahu cca 15 minut.