Catalog Description: This course introduces students to the basics of modeling, analysis, and design of embedded, cyber-physical systems. Students learn how to integrate computation with physical processes to meet a desired specification. Topics include models of computation, control, analysis and verification, interfacing with the physical world, real-time behaviors, mapping to platforms, and distributed embedded systems. The course has a strong laboratory component, with emphasis on a semester-long sequence of projects.

Units: 4

Course Objectives: To learn how to model and design the joint dynamics of software, networks, and physical processes., To develop the skills to realize embedded systems that are safe, reliable, and efficient in their use of resources., To learn to think critically about technologies that are available for achieving such joint dynamics.

Prerequisites: COMPSCI 61C and COMPSCI 70; EECS 16A and EECS 16B, or permission of instructor.

Fall: 3.0 hours of lecture and 3.0 hours of laboratory per week

Grading basis: letter

Final exam status: Alternative method of final assessment

Class Schedule (Fall 2024):
EECS 149 – TuTh 14:00-15:29, Soda 306 – Prabal Dutta, Sanjit A Seshia

Class homepage on inst.eecs