Course detail

Fault Tolerant Systems

FIT-SPPAcad. year: 2009/2010

Principles of fault tolerance, structures and techniques. Codes for control and correction of information. Cyclic codes, Fire codes, BCH and RS. Convolutional codes. Modelling, estimation and control of reliability. Fail-safe systems. Architecture of FT systems. Fault tolerance at VLSI level. Fault tolerance in computer units, computer systems and communication networks. Distributed tolerant systems, fault tolerant software.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Learning outcomes of the course unit

Skills and approaches to building fault tolerance using hardware and codes.

Prerequisites

There are no prerequisites

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

Project processing and presentation.

Course curriculum

  • Introduction, FT design methodology. Hardware redundancy, TMR, GMR, fault sieving.
  • Information redundancy, parity codes, arithmetic codes.
  • Residue codes, Hamming codes.
  • Reed-Muller codes, cyclic codes.
  • Galois fields, BCH and Reed-Solomon codes, byte error detection.
  • Convolution codes.
  • Time redundancy, alternating logic, RESO, RESWO, REDWC.
  • Reliability modeling, combinatorial models, MIL-HDBK-217.
  • Markov reliability models.
  • VLSI reconfiguration techniques.
  • FT systems architectures. FT communication networks.
  • Distributed FT systems. Software for FT systems.

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

 

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Not applicable.

Recommended reading

Not applicable.

Classification of course in study plans

  • Programme IT-MSC-2 Master's

    branch MBI , 0 year of study, summer semester, elective
    branch MBS , 0 year of study, summer semester, compulsory-optional
    branch MGM , 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 MIN , 0 year of study, summer semester, elective
    branch MIS , 0 year of study, summer semester, elective
    branch MIS , 0 year of study, summer semester, elective
    branch MMI , 0 year of study, summer semester, elective
    branch MMM , 0 year of study, summer semester, elective
    branch MPS , 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

Type of course unit

 

Lecture

26 hod., optionally

Teacher / Lecturer

Syllabus

  • Introduction, FT design methodology. Hardware redundancy, TMR, GMR, fault sieving.
  • Information redundancy, parity codes, arithmetic codes.
  • Residue codes, Hamming codes.
  • Reed-Muller codes, cyclic codes.
  • Galois fields, BCH and Reed-Solomon codes, byte error detection.
  • Convolution codes.
  • Time redundancy, alternating logic, RESO, RESWO, REDWC.
  • Reliability modeling, combinatorial models, MIL-HDBK-217.
  • Markov reliability models.
  • VLSI reconfiguration techniques.
  • FT systems architectures. FT communication networks.
  • Distributed FT systems. Software for FT systems.

Project

26 hod., optionally

Teacher / Lecturer