|
Vyučující
|
-
Maškov Viktor, doc. RNDr. Mgr. DrSc.
-
Fišer Jiří, Mgr. Ph.D.
-
Beránek Pavel, Ing. Mgr.
|
|
Obsah předmětu
|
1. Úvod do problematiky 2. Odolnost informačních systémů proti závadám 3. Způsoby zajištění odolnosti informačních systémů proti závadám 4. Samokontrola a samodiagnostika na systémové úrovni 5. Samodiagnostika: základy 6. Algoritmy samodiagnostiky 7. Organizace samodiagnostiky v systému 8. Obnovovací bloky 9. N-variantní programování a objektově orientované programování 10. Ošetření výjimek pro N-variantní programování 11. Konkurenční a spolupracující souběžné systémy 12 Koordinované atomické akce 13. Dependabilita s ohledem na závady způsobené svévolnými činnostmi
|
|
Studijní aktivity a metody výuky
|
|
nespecifikováno
|
|
Výstupy z učení
|
Kurz uvádí do problematiky dependability informačních systémů. V rámci kurzu budou podrobně vysvětleny otázky samokontroly a samodiagnostiky počítačových systémů. Kurz bude zaměřen zejména na spolehlivost a odolnost proti závadám informačních systémů.
|
|
Předpoklady
|
nespecifikováno
KI/PGL1
|
|
Hodnoticí metody a kritéria
|
nespecifikováno
1. Student musí odpovědět na otázku, kterou vylosuje při zkoušce. 2. Otázky jsou vymezeny sylabem kurzu. 3. Úroveň znalosti konkrétních otázek musí odpovídat obsahu přednášek. 4. Studenti dostanou seznam otázek dva týdny před zkouškou. Očekávané znalosti studenta: - znalost terminologie a pojmů používaných v kontextu dependability - znalost a porozumění hlavních hrozeb pro dependabilitu systému - znalost prostředků pro dosažení dependability systému - znalost prostředků pro zajištění spolehlivosti softwaru
|
|
Doporučená literatura
|
-
Laprie, J.C., ed. Dependability: Basic concepts and terminology- in English, French, German, Italian and Japanese. Springer-Verlag, Vienna, Austria, 1992.
-
Mashkov V., Fišer J. Samokontrola a samodiagnostika na systémové úrovni. Lviv: Ukrainian Academic Press, 2010. ISBN 978-966-322-169-4.
-
Mashkov V. Selected problems of system level self-diagnosis. Lviv: Ukrainian Academic Press, 2011. ISBN 978-966-322-365-0.
|