Úvod do spolehlivých systémů - NSWE002

• Anglický název: Introduction to dependable systems
• Zajišťuje: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2018
• Semestr: zimní
• E-Kredity: 1
• Rozsah, examinace: zimní s.:1/0, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština, angličtina
• Způsob výuky: prezenční
• Další informace: http://d3s.mff.cuni.cz/teaching/nswe002
• Garant: prof. Ing. Petr Tůma, Dr.
• Třída: Informatika Bc.
• Kategorizace předmětu: Informatika > Softwarové inženýrství
• Je neslučitelnost pro: NSWI163, NSWI162
• Je záměnnost pro: NSWI163, NSWI162

Anotace

čeština

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: Katedry Tajemník (11.05.2010)

angličtina

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.

Poslední úprava: Katedry Tajemník (11.05.2010)

Literatura

čeština

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: Katedry Tajemník (11.05.2010)

Sylabus

čeština

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

Poslední úprava: Katedry Tajemník (11.05.2010)

angličtina

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

Poslední úprava: Katedry Tajemník (11.05.2010)