| 1 | 1/21 |
Introduction,
Cyber-Physical Systems
|
| HW 1 out |
| 2 | 1/26 |
Model-Based Design
|
| |
| 3 | 1/28 |
Sensors and Actuators
|
| |
| 4 | 2/2 |
Interfacing to Sensors and Actuators
|
| |
| 5 | 2/4 |
Modeling Modal Behavior -- Part 1
|
| HW 1 due; HW 2 out |
| 6 | 2/9 |
Concurrency 1: Interrupts
|
| |
| 7 | 2/11 |
Modeling Modal Behavior -- Part 2
|
| |
| | 2/16 |
No lecture, President's Day holiday
|
| |
| 8 | 2/18 |
Actors, Models of Computation
|
| HW 2 due |
| 9 | 2/23 |
Hybrid Systems - Part I: Model and Examples
|
| HW 3 out |
| 10 | 2/25 |
Hybrid Systems - Part II: Timed Automata
Simulation Strategies for Discrete Models
|
| |
| 11 | 3/2 |
Concurrency 2: Threads
|
| |
| 12 | 3/4 |
Operating Systems, Microkernels, and Scheduling
|
| |
| 13 | 3/9 |
Project Management
(guest lecture by Christopher Brooks)
|
| HW 3 due |
| 14 | 3/11 |
Scheduling Anomalies
|
| Midterm out |
| 15 | 3/16 |
Execution Time Analysis
|
| |
| 16 | 3/18 |
Project Review
|
| Midterm due |
| | 3/23 |
No lecture, Spring break
|
| |
| | 3/25 |
No lecture, Spring break
|
| |
| 17 | 3/30 |
Specification; Temporal Logic
|
| |
| 18 | 4/1 |
Reachability Analysis
|
| HW 4 out |
| 19 | 4/6 |
Controller Synthesis
(see paper posted on the readings page)
|
| |
| 20 | 4/8 |
Project Mini-Updates
|
| |
| 21 | 4/13 |
Guest lecture by Dr. John Rushby (SRI)
Safety, Fault-tolerance, Verification, and Certification
Lecture abstract and links
|
| |
| 22 | 4/15 |
Distributed Embedded Systems in an Automotive Context (CAN and FlexRay)
|
| |
| 23 | 4/20 |
Guest lecture by Dr. Stavros Tripakis
Concurrency Models I
|
| HW 4 due |
| 24 | 4/22 |
Guest lecture by Dr. Stavros Tripakis
Concurrency Models II
(see papers posted on the readings page)
|
| |
| 25 | 4/27 |
Project Mini-Updates
|
| HW 5 out |
| 26 | 4/29 |
Guest lecture by Dr. John Eidson, Agilent
Network Time Synchronization with IEEE 1588
|
| |
| 27 | 5/4 |
Security for Embedded Systems
|
| |
| 28 | 5/6 |
Review of Past Projects
|
| HW 5 due |
| 29 | 5/11 |
Course wrap-up
|
| |
| | 5/15 |
Project presentations: 12:30 - 3:30 pm
|
| |