Electrical & Computer Engin 522 - Modeling&Verif/EmbeddedSystems

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 developments toward formal modeling of embedded and cyber-physical systems, and techniques for verifying properties of embedded systems. Students taking the course should have a basic understanding of logic gates and finite state machines.

This course is open to Seniors and Graduate students in Computer Systems Engineering, Electrical Engineering, or ECE only.