Informace o předmětu

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučováno prezenčně.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky

Předpoklady

Courses PA174 and PB170 od PB171 are recommended.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 29 mateřských oborů, zobrazit

Cíle předmětu

The main aim of this course is to understand and master the fundamental theoretical pieces of knowledge of the technical system reliability theory.
The lessons are specialized in particular into the following topics:
- theory of the technical system's reliability,
- theoretical and operative diagnostic of the digital systems,
- reliability of the Man-Machine systems,
- principles, models, and applications of the redundancy.

Výstupy z učení

Students will be able to reason about and design solutions relating to the reliability of embedded systems.

Osnova

• Theory of the reliability
• Hardware and software reliability of the digital systems
• Definition of the reliability, classification of the failures
• Numerical parameters of the reliability
• Reliability evaluation of the electronics devices
• Grounding notations of theoretical and technical diagnostics
• Failures model of the technical systems
• Assembly methods of the combination and sequential logic circuits tests
• Fundamental procedures of the easily tested circuits
• Fundamental procedures of the fault-tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation
• Methods and models of the redundancy
• Fundamental of the technical systems predicting diagnostics
• Hardware and software functionality checking tools of the digital system
• Hardware and software diagnostics tools of the digital systems
• Microprocessors systems testing and ROMBIOS

Literatura

doporučená literatura
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• John F. Wakerly - Digital Design - Principles & Practices
• Sheldon M. Ross - Introduction to Probability Models
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• Parag K. Lala - An Introduction to Logic Circuit Testing
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Zainalabedin Navabi - Digital System Test and Testable Design

neurčeno
• Perry L. Martin - Electronic Failure Analysis Handbook

Výukové metody

Lectures that correspond to the intended aims of tuition.

Metody hodnocení

The final examination consists of 2 parts:
1) discussion about written test and homemade task - theory of the reliability and theoretical diagnostics
2) oral exam - theoretical topics from a list of the study fields.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Learning outcomes of the course relate to three separate areas, in each area the lessons are organized into a theoretical and a practical part. The practical part will be run on technical and software equipment in the Laboratory of Digital Computer Architecture and Design. All documentation and instructions are only available in English.

Další komentáře

Předmět je vyučován každoročně.
Výuka probíhá každý týden.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučováno prezenčně.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky

Rozvrh

Čt 10:00–11:50 B411

Předpoklady

Courses PA174 and PB170 od PB171 are recommended.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 53 mateřských oborů, zobrazit

Cíle předmětu

The main aim of this course is to understand and master the fundamental theoretical pieces of knowledge of the technical system reliability theory.
The lessons are specialized in particular into the following topics:
- theory of the technical system's reliability,
- theoretical and operative diagnostic of the digital systems,
- reliability of the Man-Machine systems,
- principles, models, and applications of the redundancy.

Výstupy z učení

Students will be able to reason about and design solutions relating to the reliability of embedded systems.

Osnova

• Theory of the reliability
• Hardware and software reliability of the digital systems
• Definition of the reliability, classification of the failures
• Numerical parameters of the reliability
• Reliability evaluation of the electronics devices
• Grounding notations of theoretical and technical diagnostics
• Failures model of the technical systems
• Assembly methods of the combination and sequential logic circuits tests
• Fundamental procedures of the easily tested circuits
• Fundamental procedures of the fault-tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation
• Methods and models of the redundancy
• Fundamental of the technical systems predicting diagnostics
• Hardware and software functionality checking tools of the digital system
• Hardware and software diagnostics tools of the digital systems
• Microprocessors systems testing and ROMBIOS

Literatura

doporučená literatura
• Perry L. Martin - Electronic Failure Analysis Handbook
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to the intended aims of tuition.

Metody hodnocení

The final examination consists of 2 parts:
1) discussion about written test and homemade task - theory of the reliability and theoretical diagnostics
2) oral exam - theoretical topics from a list of the study fields.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Learning outcomes of the course relate to three separate areas, in each area the lessons are organized into a theoretical and a practical part. The practical part will be run on technical and software equipment in the Laboratory of Digital Computer Architecture and Design. All documentation and instructions are only available in English.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučováno prezenčně.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky

Rozvrh

Čt 14:00–15:50 C511

Předpoklady

Courses PA174 and PB170 od PB171 are recommended.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 53 mateřských oborů, zobrazit

Cíle předmětu

The main aim of this course is to understand and master the fundamental theoretical pieces of knowledge of the technical system reliability theory.
The lessons are specialized in particular into the following topics:
- theory of the technical system's reliability,
- theoretical and operative diagnostic of the digital systems,
- reliability of the Man-Machine systems,
- principles, models, and applications of the redundancy.

Výstupy z učení

Students will be able to reason about and design solutions relating to the reliability of embedded systems.

Osnova

• Theory of the reliability
• Hardware and software reliability of the digital systems
• Definition of the reliability, classification of the failures
• Numerical parameters of the reliability
• Reliability evaluation of the electronics devices
• Grounding notations of theoretical and technical diagnostics
• Failures model of the technical systems
• Assembly methods of the combination and sequential logic circuits tests
• Fundamental procedures of the easily tested circuits
• Fundamental procedures of the fault-tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation
• Methods and models of the redundancy
• Fundamental of the technical systems predicting diagnostics
• Hardware and software functionality checking tools of the digital system
• Hardware and software diagnostics tools of the digital systems
• Microprocessors systems testing and ROMBIOS

Literatura

doporučená literatura
• Perry L. Martin - Electronic Failure Analysis Handbook
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to the intended aims of tuition.

Metody hodnocení

The final examination consists of 2 parts:
1) discussion about written test and homemade task - theory of the reliability and theoretical diagnostics
2) oral exam - theoretical topics from a list of the study fields.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Learning outcomes of the course relate to three separate areas, in each area the lessons are organized into a theoretical and a practical part. The practical part will be run on technical and software equipment in the Laboratory of Digital Computer Architecture and Design. All documentation and instructions are only available in English.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučováno prezenčně.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky

Rozvrh

Čt 16. 9. až Čt 9. 12. Čt 8:00–9:50 B411

Předpoklady

Courses PA174 and PB170 od PB171 are recommended.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 52 mateřských oborů, zobrazit

Cíle předmětu

The main aim of this course is to understand and master the fundamental theoretical pieces of knowledge of the technical system reliability theory.
The lessons are specialized in particular into the following topics:
- theory of the technical system's reliability,
- theoretical and operative diagnostic of the digital systems,
- reliability of the Man-Machine systems,
- principles, models, and applications of the redundancy.

Výstupy z učení

Students will be able to reason about and design solutions relating to the reliability of embedded systems.

Osnova

• Theory of the reliability
• Hardware and software reliability of the digital systems
• Definition of the reliability, classification of the failures
• Numerical parameters of the reliability
• Reliability evaluation of the electronics devices
• Grounding notations of theoretical and technical diagnostics
• Failures model of the technical systems
• Assembly methods of the combination and sequential logic circuits tests
• Fundamental procedures of the easily tested circuits
• Fundamental procedures of the fault-tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation
• Methods and models of the redundancy
• Fundamental of the technical systems predicting diagnostics
• Hardware and software functionality checking tools of the digital system
• Hardware and software diagnostics tools of the digital systems
• Microprocessors systems testing and ROMBIOS

Literatura

doporučená literatura
• Perry L. Martin - Electronic Failure Analysis Handbook
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to the intended aims of tuition.

Metody hodnocení

The final examination consists of 2 parts:
1) discussion about written test and homemade task - theory of the reliability and theoretical diagnostics
2) oral exam - theoretical topics from a list of the study fields.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Learning outcomes of the course relate to three separate areas, in each area the lessons are organized into a theoretical and a practical part. The practical part will be run on technical and software equipment in the Laboratory of Digital Computer Architecture and Design. All documentation and instructions are only available in English.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučováno online.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky

Rozvrh

Út 18:00–19:50 B411

Předpoklady

Courses PA174 and PB170 od PB171 are recommended.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 52 mateřských oborů, zobrazit

Cíle předmětu

The main aim of this course is to understand and master the fundamental theoretical pieces of knowledge of the technical system reliability theory.
The lessons are specialized in particular into the following topics:
- theory of the technical system's reliability,
- theoretical and operative diagnostic of the digital systems,
- reliability of the Man-Machine systems,
- principles, models, and applications of the redundancy.

Výstupy z učení

Students will be able to reason about and design solutions relating to the reliability of embedded systems.

Osnova

• Theory of the reliability
• Hardware and software reliability of the digital systems
• Definition of the reliability, classification of the failures
• Numerical parameters of the reliability
• Reliability evaluation of the electronics devices
• Grounding notations of theoretical and technical diagnostics
• Failures model of the technical systems
• Assembly methods of the combination and sequential logic circuits tests
• Fundamental procedures of the easily tested circuits
• Fundamental procedures of the fault-tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation
• Methods and models of the redundancy
• Fundamental of the technical systems predicting diagnostics
• Hardware and software functionality checking tools of the digital system
• Hardware and software diagnostics tools of the digital systems
• Microprocessors systems testing and ROMBIOS

Literatura

doporučená literatura
• Perry L. Martin - Electronic Failure Analysis Handbook
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to the intended aims of tuition.

Metody hodnocení

The final examination consists of 2 parts:
1) discussion about written test and homemade task - theory of the reliability and theoretical diagnostics
2) oral exam - theoretical topics from a list of the study fields.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Learning outcomes of the course relate to three separate areas, in each area the lessons are organized into a theoretical and a practical part. The practical part will be run on technical and software equipment in the Laboratory of Digital Computer Architecture and Design. All documentation and instructions are only available in English.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky

Rozvrh

Po 18:00–19:50 B411

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 52 mateřských oborů, zobrazit

Cíle předmětu

Main aim of this course is understand and master fundamental theoretical know ledges of the technical system reliability theory. The lessons are specialized in particular into following topics:
theory of the technical systems reliability,
theoretical and operative diagnostic of the digital systems,
reliability of the Man-Machine systems,
principles, models and applications of the redundancy.

Výstupy z učení

Students will be able to reason about and desing solutions relating to reliability of embedded systems.

Osnova

• Theory of the reliability
• Hardware and software reliability of the digital systems
• Definition of the reliability, classification of the failures
• Numerical parameters of the reliability
• Reliability evaluation of the electronics devices
• Grounding notations of theoretical and technical diagnostics
• Failures model of the technical systems
• Assembly methods of the combination and sequential logical circuits tests
• Fundamental procedures of the easy tested circuits
• Fundamental procedures of the fault tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation
• Methods and models of the redundancy
• Fundamental of the technical systems predicting diagnostics
• Hardware and software functionality checking tools of the digital system
• Hardware and software diagnostics tools of the digital systems
• Microprocessors systems testing and ROMBIOS

Literatura

doporučená literatura
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to intended aims of tuition.

Metody hodnocení

Final examination consists of 2 parts:
1) discussion about written test and homemade task - theory of the reliability and theoretical diagnostics
2) oral exam - theoretical topics from list of the study fields.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Learning outcomes of the course relate to three separate areas, in each area the lessons are organized into a theoretical and a practical part. The practical part will be run on technical and software equipment in the Laboratory of Digital Computer Architecture and Design. All documentation and instructions are only available in English.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Út 8:00–9:50 B411

Předpoklady

Courses PA174 Design of Digital Systems II and PA176 Architecture of Digital Systems II are prerequisites for successful completion for PA174 Design of Digital Systems II course.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Main aim of this course is understand and master fundamental theoretical know ledges of the technical system reliability theory. The lessons are specialized in particular into following topics:
- theory of the technical systems reliability;
- theoretical and operative diagnostic of the digital systems;
- principles, models and applications of the redundancy;
- testing of digital systems;
- design structures for fault-tolerant systems;
- apply design procedures for easy-to-test circuits.

Výstupy z učení

Student will be able to:
- quantify the reliability of electronic systems;
- compare the reliability of each type of backup method and its application;
- design tools of digital systems diagnostics;
- design tools and procedures for testing combinational and sequential circuit;
- find failures in digital circuits;
- design structures for fault-tolerant systems;
- apply design procedures for easy-to-test circuits.

Osnova

• - theory of the reliability;
• - hardware and software reliability of the digital systems;
• - definition of the reliability, classification of the failures;
• - numerical parameters of the reliability;
• - reliability evaluation of the electronics devices;
• - ground notations of theoretical and technical diagnostics;
• - failures model of the technical systems;
• - assembly methods of the combination and sequential logical circuits tests;
• - fundamental procedures of the easy tested circuits;
• - fundamental procedures of the fault tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation;
• - methods and models of the redundancy;
• - fundamental of the technical systems predicting diagnostics;
• - hardware and software functionality checking tools of the digital system;
• - hardware and software diagnostics tools of the digital systems;
• - microprocessors systems testing and ROMBIOS.

Literatura

doporučená literatura
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to intended aims of tuition.

Metody hodnocení

During the semester will be given a homeworks and two written tests, the results of which will be included in the final evaluation. Regarding the content of the course is recommended regular attendance at the course. Final examination consists of 3 parts:
1) evaluation of the homeworks and discussion about protocol;
2) evaluation of writen tests;
3) oral exam - teoretical problems from list of the passed lectures.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část může probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici především v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
Ahmad Abbadi, Ph.D. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)

Garance

doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Čt 16:00–17:50 C416

Předpoklady

Courses PA174 Design of Digital Systems II and PA176 Architecture of Digital Systems II are prerequisites for successful completion for PA174 Design of Digital Systems II course.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Main aim of this course is understand and master fundamental theoretical know ledges of the technical system reliability theory. The lessons are specialized in particular into following topics:
- theory of the technical systems reliability;
- theoretical and operative diagnostic of the digital systems;
- principles, models and applications of the redundancy;
- testing of digital systems;
- design structures for fault-tolerant systems;
- apply design procedures for easy-to-test circuits.

Výstupy z učení

Student will be able to:
- quantify the reliability of electronic systems;
- compare the reliability of each type of backup method and its application;
- design tools of digital systems diagnostics;
- design tools and procedures for testing combinational and sequential circuit;
- find failures in digital circuits;
- design structures for fault-tolerant systems;
- apply design procedures for easy-to-test circuits.

Osnova

• - theory of the reliability;
• - hardware and software reliability of the digital systems;
• - definition of the reliability, classification of the failures;
• - numerical parameters of the reliability;
• - reliability evaluation of the electronics devices;
• - ground notations of theoretical and technical diagnostics;
• - failures model of the technical systems;
• - assembly methods of the combination and sequential logical circuits tests;
• - fundamental procedures of the easy tested circuits;
• - fundamental procedures of the fault tolerant systems - checking of the failure-free activity, relaxation after failure, reconfiguration, depletion of the operation;
• - methods and models of the redundancy;
• - fundamental of the technical systems predicting diagnostics;
• - hardware and software functionality checking tools of the digital system;
• - hardware and software diagnostics tools of the digital systems;
• - microprocessors systems testing and ROMBIOS.

Literatura

doporučená literatura
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Lectures that correspond to intended aims of tuition.

Metody hodnocení

During the semester will be given a homeworks and two written tests, the results of which will be included in the final evaluation. Regarding the content of the course is recommended regular attendance at the course. Final examination consists of 3 parts:
1) evaluation of the homeworks and discussion about protocol;
2) evaluation of writen tests;
3) oral exam - teoretical problems from list of the passed lectures.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část může probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici především v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (pomocník)
Ahmad Abbadi, Ph.D. (přednášející)

Garance

doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Čt 16:00–17:50 C416

Předpoklady

Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekonfigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

doporučená literatura
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
Ibrahim Ghafir, Ph.D. (pomocník)
RNDr. Moslem Amiri, Ph.D. (náhr. zkoušející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)
Ahmad Abbadi, Ph.D. (pomocník)

Garance

doc. RNDr. Aleš Horák, Ph.D.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Čt 8:00–9:50 B411

Předpoklady

( PA174 Design of Digital Systems II && PA176 Architecture of Digit. Syst.II )||( PV170 Konstrukce digitálních systémů && PV172 Architektura digit. systémů )||( PV170 Konstrukce digitálních systémů && PA176 Architecture of Digit. Syst.II )||( PA174 Design of Digital Systems II && PV172 Architektura digit. systémů )
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 23 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekonfigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

doporučená literatura
• Perry L. Martin - Electronic Failure Analysis Handbook
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

RNDr. Moslem Amiri, Ph.D. (přednášející)
Ing. Zbyněk Bureš, Ph.D. (pomocník)
prof. Ing. Václav Přenosil, CSc. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Út 16:00–17:50 C525

Předpoklady

( PA174 Design of Digital Systems II && PA176 Architecture of Digit. Syst.II )||( PV170 Konstrukce digitálních systémů && PV172 Architektura digit. systémů )||( PV170 Konstrukce digitálních systémů && PA176 Architecture of Digit. Syst.II )||( PA174 Design of Digital Systems II && PV172 Architektura digit. systémů )
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 22 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekonfigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

doporučená literatura
• Perry L. Martin - Electronic Failure Analysis Handbook
• Martin L. Shooman, Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design , Wiley-Interscience, 2001
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications

neurčeno
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
Mgr. Jiří Cvachovec (pomocník)
RNDr. Moslem Amiri, Ph.D. (přednášející)
Ing. Zbyněk Bureš, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

St 10:00–11:50 B202

Předpoklady

( PA174 Design of Digital Systems II && PA176 Architecture of Digit. Syst.II )||( PV170 Konstrukce digitálních systémů && PV172 Architektura digit. systémů )||( PV170 Konstrukce digitálních systémů && PA176 Architecture of Digit. Syst.II )||( PA174 Design of Digital Systems II && PV172 Architektura digit. systémů )
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 22 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekonfigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
Mgr. Jiří Cvachovec (pomocník)
RNDr. Moslem Amiri, Ph.D. (přednášející)
Ing. Zbyněk Bureš, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

St 14:00–15:50 B202

Předpoklady

( PA174 Design of Digital Systems II && PA176 Architecture of Digit. Syst.II )||( PV170 Konstrukce digitálních systémů && PV172 Architektura digit. systémů )||( PV170 Konstrukce digitálních systémů && PA176 Architecture of Digit. Syst.II )||( PA174 Design of Digital Systems II && PV172 Architektura digit. systémů )
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 22 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekonfigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Perry L. Martin - Electronic Failure Analysis Handbook

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
Mgr. Jiří Cvachovec (pomocník)
Mgr. Šimon Řeřucha, Ph.D. (náhr. zkoušející)
Ing. Zbyněk Bureš, Ph.D. (přednášející)
RNDr. Moslem Amiri, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

St 12:00–13:50 B202

Předpoklady

( PA174 Design of Digital Systems II && PA176 Architecture of Digit. Syst.II )||( PV170 Konstrukce digitálních systémů && PV172 Architektura digit. systémů )||( PV170 Konstrukce digitálních systémů && PA176 Architecture of Digit. Syst.II )||( PA174 Design of Digital Systems II && PV172 Architektura digit. systémů )
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 22 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekonfigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Perry L. Martin - Electronic Failure Analysis Handbook

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
Mgr. Jiří Cvachovec (pomocník)
Mgr. Šimon Řeřucha, Ph.D. (náhr. zkoušející)
Ing. Zbyněk Bureš, Ph.D. (přednášející)
RNDr. Moslem Amiri, Ph.D. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Čt 16:00–17:50 B202

Předpoklady

pa174 Design of Digital Systems II
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 22 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekofigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Perry L. Martin - Electronic Failure Analysis Handbook
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Digital Systems Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
RNDr. Vojtěch Krmíček, Ph.D. (cvičící)
Mgr. Šimon Řeřucha, Ph.D. (cvičící)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Út 16:00–17:50 B202

Předpoklady

pa174 Design of Digital Systems II
Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 22 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekofigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Perry L. Martin - Electronic Failure Analysis Handbook
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production

Výukové metody

Teoretická příprava korespondující se zamýšlenými výstupy učení.

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Computer Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)
RNDr. Vojtěch Krmíček, Ph.D. (cvičící)
Mgr. Šimon Řeřucha, Ph.D. (cvičící)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Út 8:00–9:50 B202

Předpoklady

Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 17 mateřských oborů, zobrazit

Cíle předmětu

Cílem předmětu je obeznámení se základy teorie spolehlivosti technických systémů. Pozornost se věnuje především:
teorii spolehlivosti technických systémů,
teoretické a praktické diagnostice číslicových systémů,
spolehlivosti systémů ČLOVĚK-STROJ,
základním principům, modelům a aplikacím zálohování.

Osnova

• Obecná teorie spolehlivosti
• Spolehlivost technického a programového vybavení číslicových systémů
• Definice spolehlivosti, klasifikace poruch
• Číselné charakteristiky spolehlivosti
• Výpočet spolehlivosti elektronického zařízení
• Základní pojmy teoretické a technické diagnostiky
• Modely poruch číslicových systémů
• Metody generování testů kombinačních a sekvenčních logických obvodů
• Principy činnosti snadno testovatelných obvodů
• Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekofigurace, degradace funkcí
• Metody a modely zálohování
• Principy predikční diagnostiky technických systémů
• Technické a programové prostředky kontroly práceschopnosti číslicových systémů
• Technické a programové prostředky diagnostiky číslicových systémů
• Testování mikroprocesorových systémů a ROMBIOS

Literatura

• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment
• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Perry L. Martin - Electronic Failure Analysis Handbook

Metody hodnocení

Během semestru bude zadána samostaná práce a dva písemné testy, jejichž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze dvou částí:
1) diskuse písemných testů a samostatné práce - teorie spolehlivosti a teoretická diagnostika,
2) ústní odpověď na teoretickou otázku z přehledu témat studia.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems
• PV191 Embedded systems seminar
• PV195 Ovladače periferií

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

PA175 Computer Diagnostics II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)

Garance

prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky

Předpoklady

Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 17 mateřských oborů, zobrazit

Cíle předmětu

Teorie spolehlivosti technických systémů, teoretická a praktická diagnostika číslicových systémů. Spolehlivost systémů ČLOVĚK-STROJ. Zálohování - principy a modely.

Osnova

• Obecná teorie spolehlivosti Spolehlivost technického a programového vybavení číslicových systémů Definice spolehlivosti, klasifikace poruch Číselné charakteristiky spolehlivosti Výpočet spolehlivosti elektronického zařízení Základní pojmy teoretické a technické diagnostiky Modely poruch číslicových systémů Metody generování testů kombinačních a sekvenčních logických obvodů Principy činnosti snadno testovatelných obvodů Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekofigurace, degradace funkcí Metody a modely zálohování Principy predikční diagnostiky technických systémů Technické a programové prostředky kontroly práceschopnosti číslicových systémů Technické a programové prostředky diagnostiky číslicových systémů Testování mikroprocesorových systémů a ROMBIOS

Literatura

• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment

Metody hodnocení

Během semestru bude zadána samostaná práce, jejíž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze tří částí: 1) obhajoba obvodů navržených v rámci samostané práce, 2) příklad - návrh funkčního bloku číslicového systému, 3) ústní odpověď na teoretickou otázku z přehledu témat ke zkoušce.

Vyučovací jazyk

Angličtina

Navazující předměty

• IA162 Design of Embedded Systems

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Předmět je vyučován každoročně.
Výuka probíhá každý týden.

PA175 Diagnostika počítačů II

Rozsah

2/0. 2 kr. (plus ukončení). Ukončení: zk.

Vyučující

prof. Ing. Václav Přenosil, CSc. (přednášející)

Garance

prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky

Rozvrh

Po 10:00–11:50 B411

Předpoklady

Předpokladem pro úspěšné studium je absolvování předmětů PA174 a PA176.

Omezení zápisu do předmětu

Předmět je otevřen studentům libovolného oboru.

Cíle předmětu

Teorie spolehlivosti technických systémů, teoretická a praktická diagnostika číslicových systémů. Spolehlivost systémů ČLOVĚK-STROJ. Zálohování - principy a modely.

Osnova

• Obecná teorie spolehlivosti Spolehlivost technického a programového vybavení číslicových systémů Definice spolehlivosti, klasifikace poruch Číselné charakteristiky spolehlivosti Výpočet spolehlivosti elektronického zařízení Základní pojmy teoretické a technické diagnostiky Modely poruch číslicových systémů Metody generování testů kombinačních a sekvenčních logických obvodů Principy činnosti snadno testovatelných obvodů Principy činnosti systémů odolných poruchám - kontrola bezporuchové činnosti, zotavení systému po poruše, rekofigurace, degradace funkcí Metody a modely zálohování Principy predikční diagnostiky technických systémů Technické a programové prostředky kontroly práceschopnosti číslicových systémů Technické a programové prostředky diagnostiky číslicových systémů Testování mikroprocesorových systémů a ROMBIOS

Literatura

• Military Standard MIL-STD-785B: Reliability program for systems and equipment, development and production
• Perry L. Martin - Electronic Failure Analysis Handbook
• G. Bolch, S. Greiner, H. de Meer, K. Trivedi - Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
• Military Handbook MIL-HDBK-217F: Reliability prediction of electronic equipment

Metody hodnocení

Během semestru bude zadána samostaná práce, jejíž výsledky budou součástí závěrečného hodnocení. Vzhledem k obsahu předmětu je doporučena pravidelná účast na výuce. Závěrečné hodnocení má formu ústní zkoušky skložené ze tří částí: 1) obhajoba obvodů navržených v rámci samostané práce, 2) příklad - návrh funkčního bloku číslicového systému, 3) ústní odpověď na teoretickou otázku z přehledu témat ke zkoušce.

Navazující předměty

• IA162 Design of Embedded Systems

Informace učitele

Předmět se zabývá třemi samostannými oblastmi, přičemž v každé části výuka je organizována na část teoretickou a praktickou. Praktická část bude probíhat na technickém a programovém vybavení v Laboratoři architektury a konstrukce číslicových počítačů. Veškerá používaná dokumentace a návody jsou k dispozici pouze v jazyce anglickém.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2024, nejnovější)