Demonstração da coerência do programa com os objectivos

A unidade curricular trata de aspetos relacionados com a confiabilidade e segurança em sistemas computacionais. Nomeadamente, os alunos são expostos aos principais paradigmas, modelos e tecnologias que contribuem para assegurar que os sistemas fornecem um serviço correto, ainda que sofram diversas formas de ataque ou faltas acidentais. Em cada ponto do programa é dada especial atenção tanto ao alcance teórico como às implicações práticas dos diferentes resultados que são estudados. O programa incentiva também os estudantes à análise e reflexão crítica das principais temáticas lecionadas, através do observação de elementos de estudo alternativos e/ou ortogonais.