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.

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.

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

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

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ů

7. Metamodelování a model-driven development

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