Mar 16, 2026  
University of Alberta Calendar 2018-2019 
    
University of Alberta Calendar 2018-2019 [ARCHIVED CALENDAR]

ECE 422 - Reliable and Secure Systems Design


★ 3 (fi 8) (either term, 3-0-0) 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. Credit may be obtained in only one of CMPE 420 or ECE 422.