Demian Pimentel
Assistant Lecturer, Faculty of Engineering - Electrical & Computer Engineering Dept
Contact
Assistant Lecturer, Faculty of Engineering - Electrical & Computer Engineering Dept
- pimentel@ualberta.ca
Courses
ECE 422 - Reliable and Secure Systems Design
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.