PGC303C Tóp. Esp. em Engenharia de Software 1 – Engenharia de Confiabilidade de Software

EMENTA

DISCIPLINA: Engenharia de Confiabilidade de Software

CÓDIGO: PGC303C

CARGA HORÁRIA: 90h

CRÉDITOS: 5

EMENTA DO PROGRAMA:

1.Introdução
–Motivação/Importância da SRE
–Confiabilidade de SW vs. HW
–Definição padrão/matemática
–Exemplos de aplicações

2.Conceitos Básicos
–Dependabilidade
–Taxonomia em SRE
–A “física” das falhas de software
–Perfil operacional (Operational Profile)

3.Revisão de Probabilidade & Estatística
–Probabilidade
 . Diagrama de Venn
 . Variáveis aleatórias & Distribuição de probabilidades
 . Funções (pdf, cdf)
–Estatística
 . População, amostra, estimação de parâmetros, estimativas (pontuais e intervalares)
 . Testes de aderência (GoF)
 . Teste de Hipótese

4.Medidas
–Confiabilidade: R(t), F(t), MTTF, MTBF, h(t), ...
–Manutenabilidade: MTTR
–Disponibilidade: A(t)

5.Funções de Confiabilidade (mais usadas)
–Binomial
–Poisson, Exponencial
–Normal, Lognormal, Weibull, Gamma

6.Confiabilidade de Sistema
–Componentes simples e múltiplos
–Combinação HW + SW
–Sistemas em: série, paralelo, Série-paralelo
–Redundância (parcial, standby)
–substituição perfeita e imperfeita
–Interações de falhas

7.Modelos de Confiabilidade de Software
–Classes Exponencial, Weibull e Gamma
–Ex. Musa, Jelinski-Moranda, Goel-Okumoto, ...

8.Técnicas de Modelagem
–Curve fitting
–Reliability Block Diagram (RBD)
–Fault Tree (FT)
–Cadeias de Markov (Markov Chains)

9. Seminários
–Leitura e análise crítica de trabalhos clássicos em SRE
–Estudo do estado da arte em SRE

10. Prática em SRE
–Desenvolvimento de um estudo de caso em SRE, contemplando análise do problema, modeloagem, experimentação/simulação para obtenção de dados de falhas, escrita de relatório.

BIBLIOGRAFIA:

-Software Reliability Engineering, Series: McGraw Hill Series on Software Development, 391 pages, 1998. J. D. Musa
-System software reliability, Springer, 440 pages, 2006. Hoang Pham
-Introduction to Reliability Engineering, Wiley, 464 pages, 1995. E.E. Lewis