After successful completion of the course, students are able to...

• Explain the fundamental techniques for checking real-world software for reliability issues;
• Assess the soundness, completeness, and performance trade-offs of these techniques;
• Select and adapt appropriate techniques to modern application domains;
• Understand open research questions in software reliability.

Reliability issues in modern software often result in significant financial losses or system downtime, thereby affecting millions of users. This course discusses in detail fundamental techniques for ensuring the reliability of large, complex software systems. Such techniques are heavily used in practice and range from static program analysis and verification to automated test generation. The course, in particular, focuses on applications of these techniques to different, popular domains, such as smart contracts and machine-learning models.

• Definition and discussion of reliability techniques for large, complex software systems;
• Solving and discussing exercises;
• Written tests.

Effort for the student (ECTS breakdown):

• Lectures: 9h (9 x 1h)
• Exercise sessions: 3h (2 x 1.5h)
• Tests: 3h (2 x 1.5h)
• Preparation for exercise sessions: 30h (2 x 15h)
• Self study and preparation for tests: 30h (2 x 15h)

Total: 75h (3 ECTS)

For questions, please contact: aseinfo@se.tuwien.ac.at 

For a positive grade, it is necessary to solve at least 8 of the 10 exercises.

There are also two written tests on the topics of the lectures and exercise sessions. A repeat test can be taken at the end of the course.