|
Lecturer(s)
|
-
Maškov Viktor, doc. RNDr. Mgr. DrSc.
-
Fišer Jiří, Mgr. Ph.D.
-
Beránek Pavel, Ing. Mgr.
|
|
Course content
|
1. Introduction to the problems of dependability 2. Fault-tolerance of information systems 3. Techniques for providing fault-tolerance of information systems 4. Self-checking and self-diagnosis at system level 5. Selfdiagnosis: basics 6. Algorithms of selfdiagnosis 7. Organization of selfdiagnosis 8. Recovery blocks 9. N-variant programming and object oriented programming 10. Exception handling in N-variant programming 11. Competing and cooperative concurrent systems 12. Coordinated atomic actions 13. Dependability concepts with respect to malicious faults
|
|
Learning activities and teaching methods
|
|
unspecified
|
|
Learning outcomes
|
The course gives introduction into the problem of dependability of information systems. The issues of self-checking and self-diagnosis of computing systems will be explained in details during the given course. The main subject of the course focuses on the tasks of reliability and fault-tolerance of information system.
|
|
Prerequisites
|
unspecified
KI/PGL1
|
|
Assessment methods and criteria
|
unspecified
- student draws lots to answer questions; - the questions are restricted to the course syllabus; - the level of knowledge should correspond to the content of lectures; - students will get the list of questions two weeks prior to the exam; The expected knowledge of students: - knowledge of terminology and concepts; - knowledge and understanding of the main threats to system dependability; - knowledge of the means for achieving system dependability; - knowledge of the means for providing software reliability.
|
|
Recommended literature
|
-
Laprie, J.C., ed. Dependability: Basic concepts and terminology- in English, French, German, Italian and Japanese. Springer-Verlag, Vienna, Austria, 1992.
-
Mashkov V., Fišer J. Samokontrola a samodiagnostika na systémové úrovni. Lviv: Ukrainian Academic Press, 2010. ISBN 978-966-322-169-4.
-
Mashkov V. Selected problems of system level self-diagnosis. Lviv: Ukrainian Academic Press, 2011. ISBN 978-966-322-365-0.
|