| 1 | 08/23/2012 (08/23/2012, 4-6pm) |
Introduction: Cyber-Physical Systems (ASV)
|
| |
| 2a | 08/28/2012 (08/28/2012, 5-6pm) |
Introduction: Design Challenges (ASV) |
| |
| 2b | 08/30/2012 (08/30/2012, 4-6pm) |
Methodology and Platform-Based Design (ASV)
|
| |
| 3a | 09/04/2012 |
MoCs: Overview (BW) (ASV) |
|
HW0 |
| 3b | 09/06/2012 |
MoCs: FSM, CFSM (BW) (ASV) |
|
|
| 4a | 09/11/2012 |
MoCs: Kahn Process Networks and Dataflow (BW) (PN)
|
Discussion 1 |
|
| 4b | 09/13/2012 |
Ptolemy II - Guest Lecture by Prof. Edward Lee |
| HW1 |
| 5a | 09/18/2012 |
MoCs: Kahn Process Networks and Dataflow (cont.) (PN) |
Discussion 2 | |
| 5b | 09/20/2012 |
MoCs: Petri Nets (BW) (PN) |
| |
| 6a | 09/25/2012 |
MoCs: Petri Nets (cont.) (PN) |
Discussion 3 |
|
| 6b | 09/27/2012 |
The Synchronous Model of Computation: Esterel
(Reference on SyncCharts) (ASV) |
| |
| 7a | 10/02/2012 |
Lustre (ASV) |
Discussion 4 | HW2, LAB1-p1 |
| 7b | 10/04/2012 |
LabView Overview - Guest Lecture by Hugo Andrade and Kaushik Ravindran, National Instruments |
| |
| 8a | 10/09/2012 |
Tagged-Signal Model (ASV) |
Discussion 5 | LAB1-p2 |
| 8b | 10/11/2012 |
Hybrid Systems (ASV) |
| |
| 9a | 10/16/2012 |
Real-Time Operating Systems (RTOS) and Schedulability Analysis - Guest Lecture by Prof. Marco Di Natale (MDN)
|
| |
| 9b |
10/18/2012 |
OSEK Standard (MDN) |
| |
| 10a | 10/23/2012 |
Models, Tasks, RTOS and Schedulability (MDN) |
| |
| 10b | 10/25/2012 |
Models, Tasks, RTOS and Schedulability (cont.) |
| |
| 11a |
10/30/2012 |
(No lecture) |
| |
| 11b | 11/01/2012 |
Metropolis (ASV) |
| HW3 |
| 12a | 11/06/2012 |
Compositional methods and Contract-Based Design (PN) |
| LAB2 |
| 12b | 11/08/2012 |
Compositional methods and Contract-Based Design (cont.) (PN) |
Discussion 6 | Project-p1 |
13a
| 11/13/2012 |
A Meta-Theory of Contracts (PN) |
|
|
| 13b | 11/15/2012 |
Building Automation and Control Systems: Modeling and Design - Guest Lecture by Mehdi Maasoumy |
Discussion 7 | |
| 14a | 11/20/2012 |
Contract theories: assume-guarantee contracts and interface theories (PN) |
| |
| 14b | 11/22/2012 |
Academic Holiday (Thanksgiving) |
| |
15a
| 11/27/2012 |
Contract theories: assume-guarantee contracts and interface theories (cont.) (PN) |
Discussion 8 | HW4 |
| 15b | 11/29/2012 |
Conclusions (ASV) |
| LAB3-p2 |
| 16a |
12/03/2012 |
Project Presentations
|
| |
| 16b |
12/07/2012 |
|
| Project Report |
