Dependability of Computer Systems

Recommended Prerequisites

None.

Learning Outcomes

The Dependable Computer Systems course aims to provide a broad knowledge and understanding of Dependability. As a doctoral programme course, it seeks to develop research skills as well as to prepare alumni to conduct research within sub-topics of the area of dependability. The course intends to promote competence in analysis and synthesis, knowledge in computer science regarding the subject of study, autonomous learning competence and competence in self-critique and self-evaluation.

Work Placement(s)

No

Syllabus

1.    Introduction to Dependability
2.    The causes of failures
3.    Detection and diagnosis
4.    Failure-recovery
5.    Fault-injection and benchmarking
6.    Approaches to dependability
7.    Dependable operating systems
8.    Dependability by design

Head Lecturer(s)

Raul André Brajczewski Barbosa

Assessment Methods

Assessment
Continuous component: 30.0%
Exam: 30.0%
Component of dependability by design : 40.0%

Bibliography

Basic concepts and taxonomy of dependable and secure computing, Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C., Dependable and Secure Computing, IEEE Transactions on, 2004.

Principles of the Spin Model Checker, Mordechai Ben-Ari, Springer, 1846287693, 2008.
Artigos científicos relevantes para cada um dos tópicos lecionados serão selecionados no decorrer da primeira semana de aulas. | Relevant scientific articles for each of the lectured topics will be selected during the first week of lectures.