EECS 149: Introduction to Embedded Systems

EECS 149: Introduction to Embedded Systems (Fall 2014, UC Berkeley). Instructors: Professor Edward A. Lee and Professor Alberto Sangiovanni-Vincentelli. This course introduces students to the basics of models, analysis tools, and control for embedded systems operating in real time. Students learn how to combine physical processes with computation. Topics include models of computation, control, analysis and verification, interfacing with the physical world, mapping to platforms, and distributed embedded systems. The course is offered as a regular undergraduate class (EE C149 and CS C149) and as a mezzanine-level graduate class (EE C249A and CS C249A).


Lecture 01 - Cyber-Physical Systems and Introduction to the Course
Lecture 02 - Sensors and Actuators
Lecture 03 - Memory Architectures
Lecture 04 - Memory Hierarchy, Interfacing to Sensors and Actuators
Lecture 05 - Interrupts
Lecture 06 - Guest Lecture on Embedded Vision (Jeff Bier)
Lecture 07 - Design Methodologies
Lecture 08 - Modeling Modal Behavior
Lecture 09 - Extended State Machines, Hybrid Systems and Timed Automata
Lecture 10 - Composition of State Machines
Lecture 11 - Hierarchical State Machines
Lecture 12 - Comparing State Machines
Lecture 13 - Specification and Temporal Logic
Lecture 14 - Reachability Analysis
Lecture 15 - Autograding a CPS Lab using Signal Temporal Logic (Alexandre Donze)
Lecture 16 - Multitasking
Lecture 17 - Operating Systems, Microkernels, and Scheduling
Lecture 18 - Scheduling Anomalies
Lecture 19 - Synchronous/Reactive Models
Lecture 20
Lecture 21 - Dataflow Models
Lecture 22 - Time-Triggered Architecture
Lecture 23 - Networking
Lecture 24
Lecture 25 - Networking (cont.), Wrapup

EECS 149 and 249A: Introduction to Embedded Systems
Textbook: Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Edition 1.5, by E. A. Lee and S. A. Seshia, 2014. Schedule: Lecture Slides. Reading. Assignments.