Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Introduction to dependable systems - NSWE002

Title:	Úvod do spolehlivých systémů
Guaranteed by:	Department of Distributed and Dependable Systems (32-KDSS)
Faculty:	Faculty of Mathematics and Physics
Actual:	from 2018
Semester:	winter
E-Credits:	1
Hours per week, examination:	winter s.:1/0, C [HT]
Capacity:	unlimited
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
State of the course:	cancelled
Language:	Czech, English
Teaching methods:	full-time
Additional information:	http://d3s.mff.cuni.cz/teaching/nswe002

Guarantor:	prof. Ing. Petr Tůma, Dr.
Class:	Informatika Bc.
Classification:	Informatics > Software Engineering
Is incompatible with:	NSWI163, NSWI162
Is interchangeable with:	NSWI163, NSWI162

Opinion survey results Examination dates Schedule Noticeboard

Annotation -

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

Literature -

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

Syllabus -

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