| Course Unit Code | 440-4202/02 |
|---|
| Number of ECTS Credits Allocated | 8 ECTS credits |
|---|
| Type of Course Unit * | Optional |
|---|
| Level of Course Unit * | Second Cycle |
|---|
| Year of Study * | |
|---|
| Semester when the Course Unit is delivered | Winter Semester |
|---|
| Mode of Delivery | Face-to-face |
|---|
| Language of Instruction | English |
|---|
| Prerequisites and Co-Requisites | Course succeeds to compulsory courses of previous semester |
|---|
| Name of Lecturer(s) | Personal ID | Name |
|---|
| ZDR20 | doc. Ing. Jaroslav Zdrálek, Ph.D. |
| Summary |
|---|
| The aim of this subject is three areas, diagnostic, reliability and codding. In the area of diagnostic, the subject deals with the fundamental conceptions of testing, with the testing by means of linear feedback register including symptom analyses and automatic test generators, with the Boundary Scan Architecture for testing. In the area of reliability, the subject deals with fundamental conceptions of reliability, with the calculation of reliability parameters including Markovski model, with the fault tolerant systems and its particular realization with the transition from the reliability to the quality, application theory quality QPL and QML. In area of coding, the subject deals with the fundamental of coding, with the linear code, with the cyclic code, with the Hamming code and with the convolution code |
| Learning Outcomes of the Course Unit |
|---|
Learning outcomes are set so that the students are able to identify and apply tasks in the field of reliability and diagnostics. Understand the principles of encryption, security and reliability of information transmission.
|
| Course Contents |
|---|
Lectures:
Diagnostics fundamental conceptions, models of fault
Generating tests for digital circuits, sensitive path, method of critical path, Boolean differences
Functional testing
Diagnostic equipment
DFT - Design for test
BST - Boundary Scan Testing
Reliability fundamental conceptions
Calculation of reliability, serial and parallel model, state diagram
Markovski model
Reserve of systems, static, dynamic and hybrid
Fault tolerant systems
Reliability check
Quality classes for electronic element, screening test
System quality QPL and QML
Coding fundamental conceptions
Linear code and Hamming code
Cyclic code
Convolution code
Exercises:
Faults model, safety training
Generating test using sensitive path
Generating test using critical path
Generating test using Boolean difference
Minimization of tests
Calculation of reliability - serial and parallel model
Calculation of reliability - state diagram
Calculation of reliability - Markovski model
Calculation of reliability - Markovski model
Reliability checking
Linear code
Compresion of data
Projects:
Generating tests
Reliability checking
Contol matrix of linear code
|
| Recommended or Required Reading |
|---|
| Required Reading: |
|---|
Parker K. P.: The Boundary-scan handbook; Kluwer 2003; ISBN 1-4020-7496-4
Crouch A. L.: Design for test, For digital IC'sand embedded core systems; Prentice Hall 1999; ISBN 0-13-0848-27-1
Abramovici M., Breuer M. A. and Friedman A. D.: Digital System Testing and Testable Design. IEEE PRESS 1990; ISBN 0-7803-1062-4
Bleeker H., Eijnden P. and Jong F.: Boundary-Scan Test, A practical Approach; Kluwer Academic Publishers 1993; ISBN 0-7923-9296-5
Reed I. S. and Xuemin Chen: Error-control coding for data networks; Kluwer 1999; ISBN 978-0-7923-8528-8
|
Hlavička J., Kottek E., Zelený J.: Diagnostika elektronických číslicových obvodů, SNTL/ALFA (1982)
Drábek V.: Spolehlivost a diagnostika. Praha (1986)
Hlavička J. a kol.: Diagnostika mikroprocesorových systémů. ČSVTS, sv. 8, díl 1, (1985)
Hlavička J., Racek S., Golan P., Blažek T.: Číslicové systémy odolné proti poruchám, ČVUT Praha 1992
Adámek J.: Kódování, SNTL Praha 1989
Adámek J.: Kódování a teorie informace; ČVUT Praha 1994, ISBN 80-01-00661-1
Schoen, J. M.: Performeance and Fault Modelling with VHDL. Prentice Hall (1992)
|
| Recommended Reading: |
|---|
Pradham and etc.:Fault-Tolerant Computing, Theory and Techniques, Volume I; Prentice Hall 1986; ISBN 0-13-308-230-X
Pradham and etc.:Fault-Tolerant Computing, Theory and Techniques, Volume II; Prentice Hall 1986; ISBN 0-13-308-222-9 |
Parker K. P.: The Boundary-scan handbook; Kluwer 2003; ISBN 1-4020-7496-4
Crouch A. L.: Design for test, For digital IC'sand embedded core systems; Prentice Hall 1999; ISBN 0-13-0848-27-1
Abramovici M., Breuer M. A. and Friedman A. D.: Digital System Testing and Testable Design. IEEE PRESS 1990; ISBN 0-7803-1062-4
Bleeker H., Eijnden P. and Jong F.: Boundary-Scan Test, A practical Approach; Kluwer Academic Publishers 1993; ISBN 0-7923-9296-5
Pradham and etc.:Fault-Tolerant Computing, Theory and Techniques, Volume I; Prentice Hall 1986; ISBN 0-13-308-230-X
Pradham and etc.:Fault-Tolerant Computing, Theory and Techniques, Volume II; Prentice Hall 1986; ISBN 0-13-308-222-9
Reed I. S. and Xuemin Chen: Error-control coding for data networks; Kluwer 1999; ISBN 978-0-7923-8528-8 |
| Planned learning activities and teaching methods |
|---|
| Lectures, Tutorials, Project work |
| Assesment methods and criteria |
|---|
| Tasks are not Defined |