Course details

Fault Tolerant Systems

SPP Acad. year 2024/2025 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. Quantum computing and error correction in quantum systems.

Guarantor

Bidlo Michal, doc. Ing., Ph.D. (DCSY)

Course coordinator

Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY)

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

Department of Computer Systems (UPSY)

Lecturer

Bidlo Michal, doc. Ing., Ph.D. (DCSY)

Instructor

Bidlo Michal, doc. Ing., Ph.D. (DCSY)

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.

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. Overview and categories of fault-tolerant systems.
  2. Principles of fault tolerance, structures and techniques.
  3. Basic error-control codes: parity codes, control checksum.
  4. Linear block codes: Hamming codes, sparse parity codes.
  5. Matrix algebra for description of codes.
  6. Cyclic codes: circuit implementation, CRC.
  7. Algebra for advanced codes: Galois fields.
  8. Advanced cyclic codes: BCH and Reed-Solomon codes.
  9. Achieving security in real systems: Flash memories and CDROM.
  10. Introduction to quantum computing theory.
  11. Quantum operators, quantum gates, quantum circuits.
  12. Quantum error correction.
  13. Programming and simulation of quantum algorithms.

Syllabus - others, projects and individual work of students

Individual project assignment.

Progress assessment

Project presentation with obtaining at least 10 points for receiving the credit and admission to final exam. Final exam and achieving minimal evaluation 50 points in summary for the evaluated activities of the course.

How to contact the teacher

See contscts at lecturer's personal web site and his consultation hours with the possibility of booking a meeting.

Schedule

DayTypeWeeksRoomStartEndCapacityLect.grpGroupsInfo
Mon lecture 2., 3., 4., 5., 6., 7., 8., 9., 10., 12., 13. of lectures L314 09:0010:5030 1MIT 2MIT NVER xx Bidlo

Course inclusion in study plans

Back to top