Course details
Fault Tolerant Systems
SOD Acad. year 2008/2009 Summer semester
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. Radiation safety. Fault tolerance in computer units, computer systems and communication networks. Distributed tolerant systems, fault tolerant software.
Guarantor
Language of instruction
Completion
Time span
- 39 hrs lectures
Department
Lecturer
Subject specific learning outcomes and competences
Skills and approaches to building fault tolerance using hardware and codes.
To get know a novel approach to ensure availability and safety of technical means.
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.
Prerequisite knowledge and skills
Computer design and software tools.
Study literature
- Hlavička J. - Racek S. - Golan P. - Blažek T.: Číslicové systémy odolné proti poruchám, Vydavatelství ČVUT, Praha, 1992
Fundamental literature
- Lin S. - Costello D.J.: Error Control Coding: Fundamentals and Applications, Prentice-Hall, 1983
Syllabus of lectures
- 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.
- Software for FT systems.
Progress assessment
Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.
Teaching methods and criteria
Teaching methods depend on the type of course unit as specified in the article 7 of BUT Rules for Studies and Examinations.
Controlled instruction
The individual project.