Prof. Eduardo Augusto Bezerra
Faculdade de Informática
Confiabilidade de Sistemas
 

Última atualização: 24 de Julho de 2008.

Programa:

OBJETIVOS - O cumprimento da disciplina busca dar ao aluno, ao final do semestre, condições de: introduzir conceitos básicos relacionados de tolerância a falhas e confiabilidade em sistemas computacionais; estudar técnicas e estratégias de tolerância a falhas, visando aumento da confiabilidade de sistemas computacionais; Permitir aos alunos modelar e implementar estudos de caso.

EMENTA - Confiabilidade de Sistemas: Taxonomia. Erro. Falha. Defeito. Tolerância a falhas. Mecanismos para tolerância a falhas. Acordo em sistemas distribuídos. Redundância.


1. Conceitos básicos e terminologia
1.1. Falha, erro, defeito, MTBF
1.2. Tipos e modelos de falhas
1.3. Teste de software e hardware

2. Técnicas de tolerância a falhas
2.1. Redundância (hardware, software, informação e tempo)
2.2. Reconfiguração e reinicialização de sistemas
2.3. Propriedades de sistemas (safety e liveness)
2.4. Estratégias e algoritmos para tolerância a falhas

3. Teste e confiabilidade
3.1. Teste de software
3.2. Relação entre teste e qualidade de software

Avaliação

G = (S + T1 + T2 + [P])/3[4]

Onde: S = Seminário, T1 = Trabalho sobre teste, T2 = Trabalho sobre programação diversitária

Poderá haver uma prova no final da disciplina. Se a participação do conjunto de alunos for boa na discussão dos artigos, não haverá prova.

Plano de Aulas (provisório - sujeito a modificações):

AULA DIAS CONTEÚDO
1  11/08 Apresentação da disciplina. Exemplos. 10 worst software bugs. Terminologia. Conceitos Falha, Erro, Defeito.
2  18/08 Confiabilidade de Sistemas - artigo "Basic Concepts and Taxonomy of Dependable and Secure Computing" A. Avizienis, J-C. Laprie, B. randell and C. Landwehr - IEEE Trans. on Deped. and Sec. Computing, 1(1), 2004.
3  25/08 Confiabilidade de Sistemas - artigo "Basic Concepts and Taxonomy of Dependable and Secure Computing" A. Avizienis, J-C. Laprie, B. randell and C. Landwehr - IEEE Trans. on Deped. and Sec. Computing, 1(1), 2004.
4  01/09 Problema dos Generais Bizantinos (consenso). Artigo Lamport ACM, v. 4, n.3, jul. 1982, pp. 382-401
5  08/09 Seminário: Dione Taschetto - Slides da apresentação
Seminário: Rafael Campos - Slides da apresentação
6 15/09 Seminário: Interações Multiparticipantes Confiáveis, Leonardo Viccari - Slides da apresentação
Seminário: N-version programming, Rafael Medaglia - Slides da apresentação
7 22/09 Seminário: Recovery blocks, Paulo Pivetta - Slides da apresentação
Seminário: Failure detectors, Elder Bernardi - Slides da apresentação
8  29/09 Seminário: Fault injection, Everton Carara - Slides da apresentação
9  06/10 Seminário: Análise de mutantes, Sérgio Johann Filho - Slides da apresentação
10  27/10 Seminário: Tolerância a EMI, Raùl Quispe
Apresentação do trabalho 1
==> 31/10 - Deadline para LATW'2009 <==
11  03/11 Seminário: Alzemiro Lucas da Silva - Slides da apresentação
Seminário: Luciano Azevedo - Slides da apresentação
12  10/11 Seminário: Gustavo Bahnert
Seminário: Georgenes Zapalaglio - Slides da apresentação
13  17/11 Seminário: "QoS of Timeout-based Self-Tuned Failure Detectors", Samuel Souza - Slides da apresentação
Seminário: Samuel Marczak - Slides da apresentação
14  24/11 Seminário: Taciano Rodolfo - Slides da apresentação
Seminário: Tolerância a Radiação, Carlos Reif - Slides da apresentação
15  01/12 Apresentação do trabalho 2

Sugestões de assuntos para seminários:

Bibliografia

  1. PRADHAN, D. K. Fault-Tolerant Computer System Design. Prentice-Hall, 1996. 544p
  2. JORGENSEN, P. Software Testing – a Craftsman Approach. CRC Press, 1995.
  3. KANER, C.; FALK, J.; NGUYEN, H.Q. Testing Computer Software. New York, J. Wiley & Sons, 1999.
  4. SIEWIOREK, D.P.; SWARZ, R.S. The Theory and Practice of Reliable System Design. Bedford: Digital Press, 1982. 772 p.
  5. LAPRIE, J.C. Dependable computing and fault-tolerance: concepts and terminology. In: INTERNATIONAL SYMPOSIUM ON FAULTTOLERANT COMPUTING, 15., 1985, New York.
  6. Artigos técnicos de conferências, a serem disponibilizados ao longo do semestre.

Contato

Eduardo.Bezerra at pucrs.br
Eduardo Augusto Bezerra
Faculdade de Informática - PUCRS
Av. Ipiranga, 6681 - Prédio 32, Sala 719
90619-900 - Porto Alegre - RS - Brazil
(0xx51) 3320 3500 r. 8719
(0xx51) 3320 3621