EECS 149: Introduction to Embedded Systems (Fall 2014, UC Berkeley) | Computer Science

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

Introduction

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

References

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.