Electrical & Computer Engin 622 - Embedded Systems

Embedded systems sense, actuate, compute, and communicate to accomplish tasks in domains such as medical, automotive, and industrial controls. Informal methods of hacking together embedded systems are at odds with the criticality of their applications. This course will introduce recent developments toward more rigorous modeling and verification of embedded and cyber-physical systems. By the end of the course, students should understand the capabilities and limitations of different representations of embedded systems, and should be able to model (and sometimes verify) systems using appropriate abstractions.

Open to Graduate ECE (E&C-Engin) students only Prerequisites: Open to Graduate students in E&C-ENG only. Prior knowledge of Boolean logic and finite state machines is required.