Introduction to Dependable Systems (NSWE002)

Administrative Information

Time and Location:	Winter Semester 2011/2012 Lectures:Tue 9:00 S8 (even weeks only)
Summer Term:	1/0 Z
Lecturers:	František Plášil Jan Kofroň Tomáš Bureš Petr Tůma Ondřej Šerý Vlastimil Babka Michal Malohlava
Information in SIS:	NSWE002

News

Lectures and Slides

Date	Topic	Slides
11.10.2011	F. Plášil: Introduction	01-Introduction.pdf
25.10.2011	J. Kofroň: Formal Methods	02-Formal_Methods.pdf
08.11.2011	P. Tůma: Middleware and Cloud Computing	03-Middleware.pdf
22.11.2011	M. Malohlava: Metamodeling and model-driven development	04-MDE.pdf
06.12.2011	T. Bureš: Realtime scheduling	05-Real-time_Systems.pdf
20.12.2011	V. Babka: Performance Evaluation of Computer Systems	06-Performance_Evaluation.pdf
10.01.2012	Written exam (room S9)

Annotation

The goal of this course is to provide introduction to basic methods and approaches for development of dependable software systems. This includes both development methods (e. g., tools for static analysis of source code for discovering functional weaknesses) and modeling and performance benchmarking. This course is meant as an introduction, details in particular areas are subjects of the courses NSWI101, NSWI132, NSWI080, NSWI068, NSWE001, NSWI131.

References

Clarke E. M., Grumberg O., Peled D. A.: Model Checking, MIT Press, 1999
Szyperski C.: Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 2002
Jain R. K.: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling, John Wiley & Sons, Inc., 1991
Giorgio C. Buttazo: Hard Real-time Computing Systems – Predictable Scheduling Algorithms and Applications, 2nd edition, ISBN: 978-0-387-23137-2, Springer Verlag, 2005

Modified on 2011-10-03