EECS 149: Introduction to Embedded Systems

EECS 149: Introduction to Embedded Systems (Spring 2012, UC Berkeley). Instructor: Professor Edward A. Lee. 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 - Introduction
Lecture 02 - Cyber Physical Systems; Model-Based Design
Lecture 03 - Model-Based Design; Modeling Modal Behavior
Lecture 04 - Sensors and Actuators
Lecture 05 - Memory Architectures
Lecture 06 - Interfacing to Sensors and Actuators
Lecture 07 - Project Management (Guest Lecture)
Lecture 08 - Sensory Overload - Interfacing the Real World (Guest Lecture)
Lecture 09 - Interrupts
Lecture 10 - Extended State Machines and Timed Automata
Lecture 11 - Composition of State Machines; Hierarchical State Machines
Lecture 12 - Hierarchical State Machines (cont.); Multitasking
Lecture 13 - Multitasking (cont.); Operating Systems, Microkernels, & Scheduling
Lecture 14 - Scheduling
Lecture 15 - Scheduling Anomalies
Lecture 16
Lecture 17 - Synchronous/Reactive Models
Lecture 18
Lecture 19 - Specification & Temporal Logic
Lecture 20 - Comparing State Machines
Lecture 21 - Reachability Analysis
Lecture 22 - Dataflow Models
Lecture 23 - Dataflow Models (cont.)
Lecture 24 - Midterm Review; Dataflow Models (cont.)
Lecture 25 - Course Wrap-Up

EECS 149 and 249A: Introduction to Embedded Systems
Lecture Slides. Readings. EECS 149 introduces students to the design and analysis of computational systems that interact with physical processes.