InfoCoBuild

EECS 149: Introduction to Embedded Systems

EECS 149: Introduction to Embedded Systems (Spring 2011, UC Berkeley). Instructor: Prof. Sanjit Seshia and Prof. 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).

Model-Based Design


Lecture 02 - Model-Based Design
Lecture 03 - Model-Based Design (cont.); Modeling Modal Behavior
Lecture 04 - Modeling Modal Behavior (cont.); Sensors and Actuators
Lecture 05 - Sensors and Actuators (cont.); Memory Architectures
Lecture 06 - Memory Architectures (cont.); Interfacing to Sensors and Actuators
Lecture 07 - Interrupts
Lecture 08 - Extended State Machines and Hybrid Automata
Lecture 09 - Composition of State Machines
Lecture 10 - Hierarchical State Machines
Lecture 11 - Multitasking
Lecture 12 - Multitasking (cont.); Operating Systems, Microkernels, & Scheduling
Lecture 14 - Operating Systems, Microkernels, & Scheduling
Lecture 15 - Midterm Review
Lecture 16 - Scheduling (cont.); Scheduling Anomalies
Lecture 17 - Synchronous/Reactive Models
Lecture 18 - Specification & Temporal Logic
Lecture 19 - Comparing State Machines
Lecture 20 - Dataflow Models
Lecture 21 - Dataflow Models (cont.)
Lecture 22 - Reachability Analysis
Lecture 23 - Quantitative (Execution Time) Analysis
Lecture 24 - Fault Tolerance
Lecture 25 - Networking in Embedded Systems

References
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.