Cílem projektu je přiblížit a na vhodných příkladech ukázat aplikaci teoretických i praktických poznatků a nových trendů z oblasti diagnostiky číslicových systémů ke všem uvedeným předmětům. V rámci vytvářených demonstračních materiálů budou rovněž ukázány možnosti aplikace aktuálních diagnostických metod v různých etapách návrhu číslicových systémů. Studenti tak získají aktuální znalosti použitelné při návrhu složitějších systémů a jejich verifikaci se zaměřením na problematiku testovatelnosti a diagnostiky číslicových systémů a uplatnění principů použitelných při návrhu systémů odolných proti poruchám.

Description in English
Cílem projektu je přiblížit a na vhodných příkladech ukázat aplikaci teoretických i praktických poznatků a nových trendů z oblasti diagnostiky číslicových systémů ke všem uvedeným předmětům. V rámci vytvářených demonstračních materiálů budou rovněž ukázány možnosti aplikace aktuálních diagnostických metod v různých etapách návrhu číslicových systémů. Studenti tak získají aktuální znalosti použitelné při návrhu složitějších systémů a jejich verifikaci se zaměřením na problematiku testovatelnosti a diagnostiky číslicových systémů a uplatnění principů použitelných při návrhu systémů odolných proti poruchám.

Keywords
diagnostika, systémy odolné proti poruchám, testování, diagnostické metody, spolehlivost systémů, verifikace návrhu

Key words in English
on-line testing, fault tolerant system, verification, availability, dependability

FR2318/2009/G1

Czech

Straka Martin, Ing., Ph.D. - principal person responsible

Department of Computer Systems
- responsible department (1.1.1989 - not assigned)
Dependable Digital Systems Research Group
- internal (8.1.2009 - 31.12.2009)
Department of Computer Systems
- co-beneficiary (8.1.2009 - 31.12.2009)

Responsibility: Straka Martin, Ing., Ph.D.