Paula Prata                                          

          Professora Auxiliar do Departamento de Informática da UBI   

_______________________________________________________________________________________________


Home
Up
Investigação
Cargos na UBI
Curriculum Vitae
English version
  

 

Fiabilidade de Sistemas Informáticos (Engenharia Informática - Sistemas de Informação)
4º ano


Ano lectivo de 2006/07

Programa; Avaliação;   Notas  Finais

 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