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