|
Lecturer(s)
|
-
Maškov Viktor, doc. RNDr. Mgr. DrSc.
|
|
Course content
|
1. Introduction to the problems of dependability of software. 2. Basics of SW engineering. 3. SW verification. 4. SW validation. 5. SW reliability. 6. Tools for SW assessment. 7. Models of SW reliability. 8. Diagnosis of SW. 9. Architectures of fault-tolerant SW. 10. Diagnosis model of a SW system. Comparators and consistent set of units. 11. Tools used for developing a reliable SW. 12. Formal methods for developing a reliable SW.
|
|
Learning activities and teaching methods
|
|
unspecified
|
|
Learning outcomes
|
In the course, the basics of development of reliable software are given. The course gives the knowledge of how to assess the achieved level of reliability of software and explains what should be done in order to improve software reliability if needed. The students will be acquainted with the existing facilities used for modeling of software reliability. More attention will be devoted to the architectures of fault-tolerant software.
|
|
Prerequisites
|
unspecified
KI/DEP and KI/DSY
|
|
Assessment methods and criteria
|
unspecified
Student must answer the question drawn at the exam. The questions are restricted to the content of the course. The level of knowledge of the particular questions must correspond to content of the lectures.
|
|
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.
-
Michael R. L. Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill Book Company, 1996. ISBN 0070394008.
|