1 | 08/27/2009 |
Introduction
|
| |
2 | 08/28/2009 |
Platform-Based Design
|
| |
3 | 09/01/2009 |
Models of Computation: Overview
|
| |
4 | 09/03/2009 |
MoCs: FSM, CFSM |
| |
5 | 09/03/2009 |
MoCs: Kahn Process Networks and Dataflows |
| Guest Lecturer: Prof. Luciano Lavagno |
6 | 09/08/2009 |
Ptolemy II Intro
Ptolemy II Extensions Ptutorial2009
|
| Guest Lecturer: Prof. Edward Lee |
7 | 09/10/2009 |
Lab 1 |
| |
8 | 09/16/2009 |
MoCs: PetriNets |
Suggested Reading: Petri-Net [Murata, '89] | Lecture Recording (Courtesy of Alberto Puggelli) |
9 | 09/17/2009 |
MoCs: PetriNets(Continued) |
| |
10 | 09/22/2009 |
Synchronous MoCs |
| Guest Lecturer: Stavros Tripakis Lecture Recording |
11 | 09/24/2009 |
Tagged-Signal Model |
Suggested Reading: LSV Tagged-Signal Model [E. Lee, ASV '98] | Lecture Recording |
12 | 09/29/2009 |
TSM continued. |
| Lecture Recording |
13 | 10/01/2009 |
Desynchronization
|
| Lecture Recording |
14 | 10/07/2009 |
RTOS I |
| Guest Lecturer: Marco Di Natale |
15 | 10/08/2009 |
RTOS II |
| |
16 | 10/13/2009 |
RTOS Continued |
| |
17 | 10/14/2009 |
RTOS Continued |
| Lecture Recording |
18 | 10/20/2009 |
Communication-based Design |
| Lecture Recording |
19 | 10/22/2009 |
Interface Synthesis |
| |
20 | 10/27/2009 |
Interface Synthesis (Cont.) |
| |
21 | 10/29/2009 |
Meta-models |
Readings: Metamodel 1 Metamodel 2
| |
22 | 11/03/2009 |
Functional and Architectural Modeling and Mapping in Metropolis |
| Guest Lecturer: Doug Densmore |
23 | 11/06/2009 |
Execution Time Analysis |
| Guest Lecturer: Prof. Sanjit Seshia |
24 | 11/12/2009 |
Execution Time Analysis (Cont.) |
| |
25 | 11/17/2009 |
Intelligent Building Control Applications |
| |
26 | 11/19/2009 |
Building Lecture (Cont.) |
| |
27 | 11/24/2009 |
Automotive Applications |
| Guest Lecturer: Paolo Giusto, Arkadeb Ghosal, Mark McKelvin |
| 11/26/2009 |
No lecture. Thanksgiving. |
| |
28 | 12/01/2009 |
Synthetic Biology Tools |
| Guest Lecturer: Doug Densmore |
29 | 12/04/2009 |
Conclusions |
| |