Electrical & Computer Engin 522 - Modeling&Verif/EmbeddedSystems

Embedded systems sense, actuate, compute, and communicate. They are often used for safety critical applications in healthcare, transportation, and industrial controls. Informal methods of hacking together embedded systems are at odds with the criticality of these 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. Prior knowledge of Boolean logic and finite state machines is required.

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