|
|
KIV/VSS
Soft. Syst. Reliability and Performance
Guarantors: Ing. Richard Lipka, Ph.D.
|
|
|
|
Course literature
KIV/VSS
-IS/STAG
Basic
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
Recommended
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
|
|
|
|
|
Study materials
You can use
- Lecures (PDF files are available in english),
- Online simulator of markov systems
- Online simulator of queuing systems
- A library for discrete event simulation in C (C-Sim) + examples,
- A library for discrete event simulation in Java (J-Sim) + examples
- A ibrary for discrete event simulation in Python (P-Sim),
- A tool for numerical analysis of markov models without absorbing states - Markov2.
- Utility QNAnalyzer - Simple analyser of the queing networks
Last updated:
07.09.2022
|
|
| |
