Описание
Причины и последствия отказов компьютерных систем. Структура отказоустойчивых компьютерных систем. Методы защиты программного обеспечения и данных от отказов. Количественная оценка надёжности систем. Введение в формальные методы для систем, критичных к безопасности. Безопасность компьютеров и компьютерных сетей.
Предварительные требования
- Требование(я): зачисление в программу M.Eng.- Engineering Practice и степень бакалавра по компьютерной или программной инженерии или разрешение директора.
Условия и порядок
- Требование(я): зачисление в программу M.Eng.- Engineering Practice и степень бакалавра по компьютерной или программной инженерии или разрешение директора.
Текст источника на языке оригинала
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.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/grad/courses/EGEN/