The goal of this course is to provide introduction to basic methods and approaches to development of dependable software
systems to bachelor students. This includes both development methods (e.g., tools for static analysis of source code for
discovering functional weaknesses) and modeling and performance benchmarking.
Last update: Tajemník Katedry (11.05.2010)
Cílem tohoto kurzu je seznámit studenty bakalářského studia se základy metod a přístupů pro vývoj spolehlivých
softwarových systémů. To zahrnuje jak metody vývoje (například použití nástrojů statické analýzy kódu pro zjištění
funkcionálních nedostatků kódu), tak modelování aplikace a měření její výkonosti.
Literature -
Last update: Tajemník Katedry (11.05.2010)
E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999
C. Szyperski: Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 2002
R. K. Jain: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling, John Wiley & Sons, Inc., 1991
Last update: Tajemník Katedry (11.05.2010)
E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999
C. Szyperski: Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 2002
R. K. Jain: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling, John Wiley & Sons, Inc., 1991
Syllabus -
Last update: Tajemník Katedry (11.05.2010)
1. Dependable systems
2. Formal methods
3. Model checking, code analysis
4. Middleware/Cloud computing
5. Realtime scheduling
6. Performance modeling and benchmarking
7. Metamodeling and model-driven development
Last update: Tajemník Katedry (11.05.2010)
1. Spolehlivé systémy
2. Formální metody
3. Model Checking, analýza kódu
4. Middleware/Cloud computing
5. Realtime scheduling
6. Modelování a měření výkonosti softwarových systémů
