Embedded Systems Design and Modeling / Spring 2025
Announcements
- New Assignment released: [Assignment #11 - Ch16. Quantitative Analysis]
- New Lecture is up: Extra. Worst-Case Execution Time Prediction by Static Program Analysis [slides]
- New Assignment released: [Assignment #10 - Ch15. Reachability Analysis]
- New Lecture is up: Ch16. Quantitative Analysis [slides]
- New Lecture is up: Ch15. Reachability Analysis [slides]
- New Lecture is up: Ch14. Equivalence and Refinement [slides]
- New Lecture is up: Ch13. Invariants and Temporal Logic [slides]
Course Description
The Embedded Systems Design and Modeling course explores the principles and practices of designing systems that integrate computation with physical processes, known as cyber-physical systems (CPS). Rooted in the textbook Introduction to Embedded Systems: A Cyber-Physical Systems Approach by Lee and Seshia, this course shifts focus from traditional computing—where the emphasis is on information processing—to the unique challenges of embedded systems. These systems, which power devices like automotive controls, medical instruments, industrial robots, and smart appliances, require engineers to understand the joint dynamics of software, hardware, and physical environments.
Register to our Courses to get course notifications via email.
