| 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 |
| |
