|
|
KIV/VSS
Výkonnost a spolehlivost prog. systémů
Garanti: Ing. Richard Lipka, Ph.D.
|
|
|
|
Předmět - literatura
KIV/VSS
- IS/STAG
Základní
János Sztrik,
Basic Queueing Theory
, Debrecen
2016
Mor Harchol-Balter,
Performance Modeling and Design of Computer Systems: Queueing Theory in Action
2013
Jim Kukunas,
Power and Performance: Software Analysis and Optimization
2015
Doporučená
Hlavička, Jan,
Architektura počítačů
, Praha : ČVUT
1994
Hamlet, Dick,
Composing Software Components: A Software-testing Perspective
, Springer
2010
Hlavička, Jan,
Číslicové systémy odolné proti poruchám
, Praha : ČVUT
1992
Lyu, Michael R.,
Handbook of Software Reliability Engineering
, Mcgraw-Hill
1996
Bernardi, Simona; Merseguer, José; Petriu, Dorina C.,
Model-driven dependability assessment of software systems
, Heidelberg : Springer
2013
Racek, Stanislav; Roubín, Miroslav,
Pravděpodobnostní modely počítačů
, Plzeň : ZČU
1996
|
|
|
|
|
Studijní materiály
Máte k dispozici:
- texty k přednáškám v podobě PDF souborů,
- Online simulátor markovských systémů
- Online simulátor pro práci s SHO
- programový nástroj pro diskrétní procesově orientovanou simulaci v jazyce Java (J-Sim) + nový ukázkový příklad (doporučuji projít),
- knihovnu tříd v C++ pro podporu diskrétní simulace (Cpp-Sim),
- nástroj pro numerickou analýzu markovských modelů bez absorpčních stavů - Markov2. Původně diplomová práce umožňuje užitím speciálního dotazovacího jazyka (podobného SQL) získat z vyřešeného Markovského modelu téměř libovolné informace.
- program QNAnalyzer - jednoduchá utilitka pro analyzování sítí front, umí odsimulovat a teoreticky vypočítat libovolnou síť zadanou ve zdrojovém souboru.
- program Witness - komerční nástroj pro numerickou analýzu (včetně vizualizace a optimalizace) modelů na bázi systémů hromadné obsluhy - přes www je dostupný stručný návod pro začínající uživatele). Využití Witness je možné pouze z laboratoří KIV dostupných pro studenty programů zajišťovaných katedrou.
Poznámka: Všechny výše uvedené programové nástroje (kromě Witnessu !!) byly vytvořeny na KIV aktivitou pracovníků katedry nebo studentů v rámci diplomových prací a jsou tudíž volně šiřitelné, samozřejmě bez záruky.
Další doporučená literatura
Poslední změna:
07.09.2022
|
|
| |
