Předmět Výkonnost a spolehlivost prog. systémů (KIV / VSS)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIV / VSS - Výkonnost a spolehlivost prog. systémů, Fakulta aplikovaných věd, Západočeská univerzita v Plzni (ZČU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Úvod ? účel modelování a ověřování výkonnosti a spolehlivosti, základní termíny (chyba, porucha, selhání, dostupnost, výkon, bezpečnost, spolehlivost ...).2. Modelování systémů - sítě front, markovské modely, časové logiky.3. Základní spolehlivostní modely (redundance systémů). Generování náhodných čísel.4. Základy softwarových simulací - základní techniky, kalendář, diskrétní simulace, události a čas v simulaci, tvorba a parametrizace simulačního modelu.5. Využití simulace pro modelování sítí front a dalších systémů, simulace vícevláknových programů, generování okolí systému.6. Základy měření výkonnostních parametrů, použití pro simulaci i reálný systém. Druhy a příklady metrik, zajištění opakovatelnosti testů.7. Zásady tvorby spolehlivého software ? úrovně dostupnosti a spolehlivosti, principy zajištění spolehlivosti, reakce na runtime chyby, rizika, využití spolehlivostních modelů. Normy a architektury pro spolehlivé softwarové systémy (AUTOSAR, MARTE, ISO 50128 a podobné).8. Benchmarkování, testování výkonnosti reálného HW a SW, příprava zátěže a zátěžových testů, shlukování zátěže.9. Debugging ? využití debuggeru a profileru pro hledání chyb v aplikaci, izolace chyby, sledování běhu aplikace a využití záznamu v simulačních modelech.10. Analýza a prezentace výsledků ? druhy statistik, vizualizace výsledků, rizika pro interpretaci výsledků11. Statická analýza SW - existující nástroje a metody, použití a vhodnost v konkrétních případech, omezení (Spin model checker, Java PathFinder a podobné).12. Dynamická analýza SW - existující nástroje a metody, použití a vhodnost v konkrétních případech, omezení.
Získané způsobilosti
Absolvováním předmětu student získá schopnost- Zvolit vhodnou metodu simulace, navrhnout a implementovat simulační model popsaného systému.- Navrhnout a připravit benchmarkovací experiment, změřit charakteristiky testovaného systému.- Připravit, interpretovat, prezentovat a vysvětlit výsledky benchmarků nebo simulací.- Využít metody statické a dynamické analýzy software k hledání chyb v předloženém software.- Zhodnotit spolehlivost předloženého software.
Literatura
Hlavička, Jan. Architektura počítačů. Praha : ČVUT, 1994. Hamlet, Dick. Composing Software Components: A Software-testing Perspective. Springer, 2010. ISBN 978-1441971470.Hlavička, Jan. Číslicové systémy odolné proti poruchám. Vyd. 1. Praha : ČVUT, 1992. ISBN 80-01-00852-5.Lyu, Michael R. Handbook of Software Reliability Engineering. Mcgraw-Hill, 1996. ISBN 978-0070394001.Bernardi, Simona; Merseguer, José; Petriu, Dorina Corina. Model-Driven Dependability Assessment of Software Systems. Springer, 2013. ISBN 978-3-642-39511-6.Racek, Stanislav; Roubín, Miroslav. Pravděpodobnostní modely počítačů. 1. vyd. Plzeň : ZČU, 1996. ISBN 80-7082-300-3.
Požadavky
Vypracování 5 příkladů a jejich odevzdání v zadaných termínech, samostatné zpracování semestrální práce. Absolvování písemné zkoušky.
Garant
Doc. Ing. Pavel Herout, Ph.D.
Vyučující
Ing. Richard Lipka, Ph.D.Ing. Richard Lipka, Ph.D.Ing. Lukáš Valenta