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 19 - Synchronous/Reactive Models |
| Time | Lecture Chapters |
| [00:00:00] | 1. Composition of Discrete Systems |
| [00:10:37] | 2. Fundamental Characteristic of Synchronous Systems |
| [00:15:23] | 3. Concurrent Composition: Alternatives to Threads |
| [00:23:29] | 4. Synchronous Composition |
| [00:29:29] | 5. Feedback Composition |
| [00:39:35] | 6. Moore vs. Mealy Machines |
| [00:42:45] | 7. Fixed Point Semantics |
Go to the Course Home or watch other lectures: