Fiabilidade de Sistemas Informáticos (Engenharia
Informática - Sistemas de Informação)
4º ano
Ano lectivo de 2006/07
Programa; Avaliação;
0 - Alguns casos de avarias provocadas por
falhas de hardware e/ou software:
Erros numéricos; Missões
a Marte; Therac-25; Sistemas
de uso geral.
1 - Confiabilidade: conceitos e terminologia: T1;
2 - Técnicas de Tolerância a Falhas: T2;
3 - Prevenção de falhas - Métodos
Formais.
4 - Tolerância a falhas em Sistemas Distribuídos
4.1 - O problema do acordo distribuído - T3
(The
Byzantine Generals Problem)
4.2 - Memória estável - T4
4.3 - Processadores Fail-Stop - T5
4.4 - Entrega fiável de mensagens - T6
4.5 - Códigos de detecção e correcção de erros -T7
4.6 - Checkpointing -T8
4.7 - Acções atómicas - T9
4.8 - Replicação e recuperação de dados -T10
4.9 - Recuperação de processos - T11
4.10 - Falhas de software - T12