Course: Dependability of Information Systems

« Back
Course title Dependability of Information Systems
Course code KI/DIS
Organizational form of instruction Lecture + Lesson
Level of course Bachelor
Year of study 2
Semester Winter and summer
Number of ECTS credits 4
Language of instruction Czech, English
Status of course Compulsory-optional
Form of instruction unspecified
Work placements unspecified
Recommended optional programme components None
Lecturer(s)
  • Maškov Viktor, doc. RNDr. Mgr. DrSc.
  • 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 basic knoledge needed for understanding the occurrence of faults in computer systems, methods of system fault state handling and methods for providing software fault-tolerance. The tasks of dependability are considered both for standalone applications and for distributed applications. Accidental and intentional malicious faults are also taken into consideration. The course helps to percept the design of modern complex systems, gives mastery of basic skills required for the work of system administrator and system security analyst.

Prerequisites
Teaching in English is meant only for erasmus and foreign students. In the case of a small number of students is teaching in a form of individual consultations.
KI/APR1

Assessment methods and criteria
unspecified
Recommended literature
  • Embedded, Everywhere: A Research Agenda for Networked Systems of. Embedded, Everywhere: A Research Agenda for Networked Systems of. Washington D.C., Computer Science and Technology Board, National Academy of Science, 2001.
  • Laprie, J.C. Dependability of software-based critical systems: in Dependable Network Computing. Kluwer Academic Publishers, 1999.
  • Laprie, J.C., ed. Dependability: Basic concepts and terminology- in English, French, German, Italian and Japanese. Springer-Verlag, Vienna, Austria, 1992.
  • Maškov, V., Fišer, J. Samokontrola a samodiagnostika na systémové úrovni. Lviv: Ukrainian Academic Press, 2010, ISBN 978-966-322-169-4.
  • Maškov, V. Selected problems of system level self-diagnosis. Lviv: Ukrainian Academic Press, 2011, ISBN 978-966-322-365-0.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester