0  8/27 
CyberPhysical Systems and Introduction to the Course 

1a  9/1 
Sensors and Actuators 

1b  9/3 
ModelBased Design, Continuous Dynamics 

2a  9/8 
Memory Architectures 
HW 1 due 
2b  9/10 
Input and Output  Part 1 

3a  9/15 
Input and Output  Part 2 

3b  9/17 
Modeling Modal Behavior, Discrete Dynamics 

4a  9/22 
Modeling Modal Behavior, Discrete Dynamics 
HW 2 due 
4b  9/24 
Extended and Timed Automata 

5a  9/29 
Composition of State Machines 

5b  10/1 
Hierarchical State Machines 

6a  10/6 
Specification; Temporal Logic 
HW 3 due 
6b  10/8 
Comparing State Machines 

7a  10/13 
Reachability Analysis 

7b  10/15 
Using Temporal Logic in CPS Autograders (guest lecture by Dr. Alexandre Donze) 

8a  10/20 
Multitasking (guest lecture by Dr. Pierluigi Nuzzo) 
HW 4 due 
8b  10/22 
Multitasking (continued) and Project Discussion 
Project Charter due 
9a  10/27 
MIDTERM 1 in Class 
MIDTERM 1 in Class 
9b  10/29 
Operating Systems, Microkernels, and Scheduling 

10a  11/3 
Scheduling Anomalies 

10b  11/5 
Execution Time Analysis 
HW 5 due 11/9

11a  11/10 
Project Mini Updates in Class 

11b  11/12 
Synchronous/Reactive and Dataflow Models (guest lecture by Dr. Pierluigi Nuzzo) 

12a  11/17 
Security for Embedded Systems 

12c  11/19 
Networked Embedded Systems (guest lecture by Prof. Prabal Dutta) 
HW 6 due

13a  11/24 
Project Discussion in 204 Cory 
Project Milestone Update Report due 
13b  11/26 
HOLIDAY 

14a  12/1 
Course Wrapup 
HW 7 due 
14b  12/3 
MIDTERM 2 in Class 

 12/8 
NO CLASS: Reading week.
Recommended browsing: Additional Topics:
More Concurrency Models
Fault Tolerance
Controller Synthesis
TimeTriggered Models
Distributed Embedded Systems in an Automotive Context (CAN and FlexRay)
Network Time Synchronization with IEEE 1588
Hybrid Systems  Part II: Timed Automata
Mixed Signal Models
Simulation Strategies for Discrete Models


 12/14 
Project Presentations, Monday, December 14, Time TBD, Location TBD 
Project Presentations 
 12/16 

Project reports due at 12 noon (Pacific) 