Descrição
Causas e consequências de falha de sistemas computacionais. Estrutura de sistemas computacionais tolerantes a falhas. Métodos para proteger software e dados contra falhas de computador. Quantificação da confiabilidade do sistema. Introdução a métodos formais para sistemas críticos de segurança. Segurança de computadores e redes de computadores.
Pré-requisitos
- Pré-requisito(s): matrícula no programa M.Eng. - Engineering Practice e diploma de graduação em Engenharia de Computação ou Engenharia de Software ou permissão do Diretor.
Condições e modalidades
- Pré-requisito(s): matrícula no programa M.Eng. - Engineering Practice e diploma de graduação em Engenharia de Computação ou Engenharia de Software ou permissão do Diretor.
Texto de referência na sua língua de origem
Causes and consequences of computer system failure. Structure of fault-tolerant computer systems. Methods for protecting software and data against computer failure. Quantification of system reliability. Introduction to formal methods for safety-critical systems. Computer and computer network security.
- Prerequisite(s): enrolment in the M.Eng.- Engineering Practice program and an undergraduate degree in Computer or Software Engineering or permission of the Director.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/EGEN/