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.
Poslední úprava: Tajemník Katedry (11.05.2010)
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.
Literatura -
Poslední úprava: 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
Poslední úprava: 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
Sylabus -
Poslední úprava: 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ů