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: CMPUT 301. Corequisite: ECE 487. Credit may be obtained in only one of CMPE 420 or ECE 422.
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
LECTURE B1
(15754) |
80 |
2024-01-08 - 2024-04-12 (MWF)
12:00 - 12:50
ETLC E2-002
|
Primary Instructor: An Ran Chen
|
| Section | Capacity | Class times | Instructor(s) |
|---|---|---|---|
|
LECTURE B1
(75051) |
80 |
2025-01-06 - 2025-04-09 (MWF)
12:00 - 12:50
ETLC E2-002
|
|