Course details

Fault Tolerant Systems

SPP Acad. year 2023/2024 Summer semester 5 credits

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.

Guarantor

Course coordinator

Language of instruction

Czech

Completion

Credit+Examination (written)

Time span

  • 26 hrs lectures
  • 26 hrs projects

Assessment points

  • 70 pts final exam
  • 30 pts projects

Department

Lecturer

Instructor

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 or errors in data.
Skills to achieve fault tolerance using hardware and software approaches.

Why is the course taught

Fault tolerance represents a fundamental element for achieving required dependability and usability of modern computer and communication systems in all important areas of life (e.g. medical care, transportation, financial services). Theoretical as well as practical skills of constructing fault-tolerant systems will help the graduates to a better employment in various domais.

Prerequisite knowledge and skills

Basics of linear algebra and discrete mathematics, basics of digital system design.

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

  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.

Syllabus - others, projects and individual work of students

Individual project assignment.

Progress assessment

Project processing, presentation and obtaining at least 10 points.

Exam prerequisites

Project processing, presentation and obtaining at least 10 points.

Schedule

DayTypeWeeksRoomStartEndCapacityLect.grpGroupsInfo
Mon lecture 1., 2., 3., 4., 5., 6., 8., 10., 11., 12., 13. of lectures G202 11:0012:5080 1MIT 2MIT NVER xx Bidlo
Mon exam 2024-06-03 E104 13:0014:50 3. termín
Tue exam 2024-05-07 E104 09:0010:50 1. termín
Wed exam 2024-05-22 E104 09:0010:50 2. termín

Course inclusion in study plans

Back to top