Course Unit / Dependability of Computer Systems

Dependability of Computer Systems

Year
1
Academic year
2012-2013
Code
03000793
Subject Area
Especialidades Optativas
Language of Instruction
Portuguese
Other Languages of Instruction
English
Mode of Delivery
Face-to-face
Duration
SEMESTRIAL
ECTS Credits
6.0
Type
Elective
Level
3rd Cycle Studies

Recommended Prerequisites

NA

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

Dependability by design

Head Lecturer(s)

Raul André Brajczewski Barbosa

Assessment Methods

Assessment
Continuous component corresponding to the quality of summaries, questions, and answers given during the discussions. : 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.