Permitir a avaliação qualitativa e quantitativa dos aspectos envolvidos com confiabilidade e segurança (safety) em Sistemas Computacionais e Sistemas Eletro Eletrônicos e Programáveis - SEEP. Utilização de métodos e ferramentas a serem utilizadas nas avaliações qualitativas e quantitativas. Análise de Perigo, Modelos e Técnicas de Análise de Perigo, Análise de Requisitos e de Perigo de Sistemas Computacionais Software, Análise de Risco. Árvore de Falhas e Redes de Petri. Debates de estudos de casos e a relação do conceito de complexidade e segurança (safety & security). Aspectos relativos com a Engenharia de Resiliência.
- Docente: Joao Batista Camargo Junior