Atributos da dependabilidade
• Fiabilidade
• Disponibilidade
• Segurança
• Protecção
• Bibliografia
• J-C Laprie, Dependability: Basic Concepts and Terminology, Springer-Verlag, 1992.
Sistemas Tolerantes a Falhas
1
Luís Almeida, EST -IPCB, 2º semestre 2001
Atributos da Dependabilidade
Disponibilidade – aspecto sempre necessário
Fialbilidade, segurança e protecção – aspectos mais ou menos
necessários consoante a aplicação concreta
O peso dado a cada um dos atributos é influenciado:
• Pelas opções em termos de meios utilizados para obter dependabilidade
• Pela possibilidade de haver antagonismos entre os atributos
• Pela menor compreensão da dependabilidade em face das outras
dimensões de custo e desempenho
Sistemas Tolerantes a Falhas
2
Luís Almeida, EST -IPCB, 2º semestre 2001
1
Atributos da Dependabilidade
Fiabilidade vs Disponibilidade
Sistemas baseados na Fiabilidade – Modelo da aviação
• Grande probabilidade de sucesso para um dado “tempo de missão”
• Adequado quando as reparações são caras ou difíceis
Sistemas baseados na Disponibilidade – Modelo dos automóveis
• Elevada percentagem de tempo em que o sistema cumpre as
especificações
• Adequado quando o funcionamento contínuo é importante
Sistemas Tolerantes a Falhas
3
Luís Almeida, EST -IPCB, 2º semestre 2001
Atributos da Dependabilidade
Fiabilidade vs Facilidade de Manutenção
• Fiabilidade
• Projectos mais compactos e integrados
• Produção em massa com menores custos
• A facilidade de manutenção é sacrificada
• Facilidade de Manutenção
• Partição em pequenas unidades substituíveis
• Custos maiores e menor fiabilidade (interligações)
Sistemas Tolerantes a Falhas
4
Luís Almeida, EST -IPCB, 2º semestre 2001
2
Atributos da Dependabilidade
Subjacente aos atributos anteriores está a propriedade da
Integridade
i.e., a propriedade do sistema se encontrar na posse de todas as
suas faculdades, completo
Outra propriedade importante em sistemas tolerantes a falhas é
Confiabilidade
i.e., a capacidade do sistema de informar os utilizadores sobre a
correcção do serviço que está a prestar em cada instante.
Sistemas Tolerantes a Falhas
5
Luís Almeida, EST -IPCB, 2º semestre 2001
Atributos da Dependabilidade
A verificação da dependabilidade de um sistema, ainda que utilizando as
técnicas de validação referidas atrás, depara com algumas dificuldades:
• Nem sempre as assunções de projecto e validação correspondem
exactamente à realidade (e.g., insuficiência dos modelos de defeitos,
deficiente cobertura dos valores de teste)
• Há casos em que a validação do sistema face a certas classes de
defeitos e relativamente a alguns atributos não é possível (e.g., por
insuficiência de bases teóricas)
• As especificações em face das quais o sistema é validado não são elas
próprias livres de defeitos...... tal como qualquer sistema!!!
Sistemas Tolerantes a Falhas
6
Luís Almeida, EST -IPCB, 2º semestre 2001
3
Atributos da Dependabilidade
“Bottom line”
É necessário inserir mecanismos de detecção e isolamento de erros
em todos os passos de criação de um sistema, desde o projecto até à
respectiva colocação em funcionamento
Sistemas Tolerantes a Falhas
7
Luís Almeida, EST -IPCB, 2º semestre 2001
4