Descripción
Causas y consecuencias de fallos en sistemas informáticos. Estructura de sistemas informáticos tolerantes a fallos. Métodos para proteger el software y los datos frente a fallos informáticos. Cuantificación de la fiabilidad del sistema. Introducción a métodos formales para sistemas críticos para la seguridad. Seguridad de ordenadores y redes informáticas.
Prerrequisitos
- Prerequisito(s): inscripción en el programa M.Eng.- Engineering Practice y un título de pregrado en Ingeniería Informática o de Software o permiso del Director.
Condiciones y modalidades
- Prerequisito(s): inscripción en el programa M.Eng.- Engineering Practice y un título de pregrado en Ingeniería Informática o de Software o permiso del Director.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/EGEN/