|
Lecturer(s)
|
-
Šimek Karel, Doc. Dr. Ing.
-
Štěpán Sabuhi, Ing. Ph.D.
-
Lomička Radek, Ing.
|
|
Course content
|
Lectures: 1. Diagnostics - historical development of branch, technical diagnostics, diagnostics of digital systems, diagnostics and economy, basic terminology, diagnostic tests 2. Causes and mechanisms of digital system faults, models of faults for diagnostics 3. Methods of diagnostic test generation, functional and structure tests, testing of combinational circuits 4. Testing of sequential circuits, functional tests - identification metods and RTL methods, structure metods - conversion of sequential circuit to combinational one 5. Tables of complete tests, test minimalization, localization of faults, compression of diagnostic data 6. Stochastic and pseudo-stochastic tests, pseudo-trivial tests 7. Methods of system design aimed at easy diagnostics - heuristic methods, structured design 8. Diagnostic testers, logical analyzers 9. Introduction to dependability theory, historical branch development, main targets of dependability, basic terms and definitions, dependability parameters 10. Dependability tests of elektronics, types of dependability tests 11. Calculation of dependability parameters, calculation techniques, dependability models, dependability of systems with general structure 12. Dependability of multi-state systems, use of Markov processes 13. Methods and forms of backing-up Tutorials: 1. Seminar - Introduction to statistics - theory 2. Seminar - Introduction to statistics - examples 3. Seminar - Fault types of basic logical elements, models of faults 4. Seminar - Methods of diagnostic test generation - examples 5. Seminar - Methods of diagnostic test generation - examples 6. Seminar - Methods of diagnostic test generation - examples 7. Seminar - Built-in diagnostic equipment, concurrent diagnostics 8. Seminar - Testing of electronic memory 9. Seminar - Basics of probability theory 10. Seminar - Basics of probability theory - examples 11. Seminar - Reliability prediction of components - examples 12. Seminar - Methods of system reliability calculation - examples 13. Seminar - Methods of system reliability calculation - examples
|
|
Learning activities and teaching methods
|
Lecture supplemented with a discussion, Multimedia supported teaching, Seminar classes, Individual study
- Preparation for an examination (30-60)
- 30 hours per semester
- Contact hours
- 52 hours per semester
- Graduate study programme term essay (40-50)
- 30 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| be familiar with basic electronic systems, especially in analog and digital |
| Skills |
|---|
| to design a test for analog and digital electronic system |
| Competences |
|---|
| N/A |
| N/A |
| N/A |
| learning outcomes |
|---|
| Knowledge |
|---|
| describe diagnostic methods of degital and analog systems |
| describe methods of reliability calculations for electronic systems |
| describe economics of diagnostic equipments and testers |
| Skills |
|---|
| use specialized terminology used in diagnostics and dependability branches |
| compare diagnostic methods for analog and digital systems |
| compare methods of diagnostic tests generation for digital systems |
| design diagnostic test for simple digital circuit |
| select appropriate diagnostic methods in relation with system type and its characteristics and diagnostic requirements |
| summarize significance of diagnostics for dependability of systems |
| find relations between diagnostic level and economic aspects in real conditions classify |
| classify dependability tests and explain their significance |
| calculate basic dependability parameters of simple electronic device |
| summarize problems and possibilities of electronic system dependability improvement |
| Competences |
|---|
| N/A |
| N/A |
| N/A |
| teaching methods |
|---|
| Knowledge |
|---|
| Lecture supplemented with a discussion |
| Multimedia supported teaching |
| Individual study |
| Seminar classes |
| Skills |
|---|
| Seminar classes |
| Individual study |
| Multimedia supported teaching |
| Competences |
|---|
| Lecture supplemented with a discussion |
| Seminar classes |
| Multimedia supported teaching |
| Individual study |
| assessment methods |
|---|
| Knowledge |
|---|
| Oral exam |
| Skills |
|---|
| Individual presentation at a seminar |
| Competences |
|---|
| Oral exam |
| Individual presentation at a seminar |
|
Recommended literature
|
-
Bednařík, Josef. Technika spolehlivosti v elektronické praxi. 1. vyd. Praha : Státní nakladatelství technické literatury, 1990. ISBN 80-03-00422-5.
-
Hlavička, Jan. Diagnostika a spolehlivost : cvičení. Vyd. 3. Praha : Vydavatelství ČVUT, 1998. ISBN 80-01-01714-1.
-
Hlavička, Jan. Diagnostika a spolehlivost číslicových systémů. dotisk. Praha : ČVUT, 1978.
-
Novák, Gramatová, Ubar. Handbook of testing electronic systems. Praha. ISBN 80-01-03318-X.
-
Starý, Ivan. Spolehlivost systémů. Vyd. 1. Praha : Vydavatelství ČVUT, 1998. ISBN 80-01-01756-7.
|