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

FR2318/2009/G1

čeština

Straka Martin, Ing., Ph.D. - hlavní řešitel

Ústav počítačových systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Výzkumná skupina Spolehlivé číslicové systémy
- interní (8.1.2009 - 31.12.2009)
Ústav počítačových systémů
- spolupříjemce (8.1.2009 - 31.12.2009)

Odpovědnost: Straka Martin, Ing., Ph.D.