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.

Popis anglicky
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.

Klíčová slova
diagnostika, systémy odolné proti poruchám, testování, diagnostické metody, spolehlivost systémů, verifikace návrhu

Klíčová slova anglicky
on-line testing, fault tolerant system, verification, availability, dependability