描述
计算机系统故障的原因和后果。容错计算机系统的结构。保护软件和数据免受计算机故障的方法。系统可靠性的量化。安全关键系统形式化方法简介。计算机与计算机网络安全。
先修课程
- 先修课程：注册于 M.Eng.- 工程实践项目并持有计算机或软件工程本科或经主任许可。
条件与方式
- 先修课程：注册于 M.Eng.- 工程实践项目并持有计算机或软件工程本科或经主任许可。
原文参考文本
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/