| Course title | Dependability of Software Systems |
|---|---|
| Course code | KI/EDSW |
| Organizational form of instruction | Lecture + Lesson |
| Level of course | unspecified |
| Year of study | not specified |
| Semester | Summer |
| Number of ECTS credits | 5 |
| Language of instruction | English |
| Status of course | unspecified |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Course availability | The course is available to visiting students |
| 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 |
| Prerequisites |
|
unspecified
|
| Assessment methods and criteria |
|
unspecified
|
| Recommended literature |
|
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester |
|---|