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 13 - Specification and Temporal Logic |
| Time | Lecture Chapters |
| [00:00:00] | 1. Introduction |
| [00:08:40] | 2. Specification, Verification, and Control |
| [00:13:40] | 3. Temporal Logic |
| [00:25:15] | 4. Propositional Logic |
| [00:33:15] | 5. Linear Temporal Logic |
Go to the Course Home or watch other lectures: