| Course title | Dependability of Software Systems |
|---|---|
| Course code | KI/KDSW |
| Organizational form of instruction | Lecture |
| Level of course | Bachelor |
| Year of study | not specified |
| Semester | Summer |
| Number of ECTS credits | 3 |
| Language of instruction | Czech |
| Status of course | Compulsory-optional |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| 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/KDEP and KI/KDSY |
| Assessment methods and criteria |
|
unspecified
|
| Recommended literature |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
|---|---|---|---|---|
| Faculty: Faculty of Science | Study plan (Version): - (A14) | Category: Informatics courses | 2 | Recommended year of study:2, Recommended semester: Summer |