Dependable Embedded Systems.

Catalog description

Semester course; 3 lecture hours. 3 credits. Prerequisite: EGRE 364 or permission of instructor. This course explores the rich set of issues that must be considered when dealing with dependable embedded systems in smart energy delivery, transportation, interconnected health and medical devices and smart buildings, which have one or more of the following attributes: need for safety, continuous reliable operation, resilient to disruptions, secure against cyber-attacks, operate in real-time, maintainable and designed correctly. Among the topics covered are fault-tolerant computing, reliability and safety engineering, understanding the origins of failures and errors, design criteria, software reliability, formal verification of designs, cyber security, review of standards in safety critical systems and social/legal concerns.