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.