Introduction to Dependable Systems (NSWE002)

Administrative Information

News

Slides

Annotation

References



Administrative Information

Time and Location: Winter Semester 2016/2017
Lectures: Tue 9:00 in S5
(even weeks only)
Winter Term: 1/0 Z
Lecturers: Tomáš Bureš
Jan Kofroň
Petr Tůma
Petr Hnětynka
Information in SIS: NSWE002

News

Lectures and Slides

DateTopicSlides
11.10.2016 J. Kofroň: Formal Methods 01-Intro_Formal_Methods.pdf
25.10.2016 P. Tůma: Middleware and Cloud Computing 02-Presentation-MW.pdf
22.11.2016 P. Hnětynka: Metamodeling and model-driven development 03-MDE_introduction.pdf
6.12.2016 T. Bureš: Realtime scheduling 04-Real-time_Systems.pdf
20.12.2016 P. Tůma: Performance Evaluation of Computer Systems 05-Presentation-PE.pdf
10. 1.2017 J. Kofroň: Written exam

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
  • 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
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-12-21