EECS 149 - Introduction to Embedded Systems

UC Berkeley - EECS 149: Introduction to Embedded Systems (Spring 2012). 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 C249M)

Lecture 01 - Introduction
Lecture 02 - Cyber Physical Systems
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/ Multitasking
Lecture 13 - Multitasking/ Operating Systems, Microkernels, & Scheduling
Lecture 14 - Scheduling
Lecture 15 - Scheduling Anomalies
Lecture 16 - Lecture
Lecture 17 - Synchronous/Reactive Models
Lecture 18 - Lecture
Lecture 19 - Specification & Temporal Logic
Lecture 20 - Specification & Temporal Logic/ Comparing State Machines
Lecture 21 - Reachability Analysis
Lecture 22 - Dataflow Models
Lecture 23 - Dataflow Models
Lecture 24 - Midterm Review/ Dataflow Models
Lecture 25 - Course Wrap-Up


Web.. EECS 149 and 249M: Introduction to Embedded Systems
Lectures. EECS 149 introduces students to the design and analysis of computational systems that interact with physical processes.
chess.eecs.berkeley.edu/eecs149/index.html