| 9/8 |
|
|
| 9/15 |
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design |
Presenter: Alberto Puggelli Pdf |
| 9/22 |
The STATEMATE Semantics of Statecharts |
Presenter 1: Karla Vega Pdf
Presenter 2: Shaoyi Cheng |
| 9/29 | STATEMATE (Cont.) |
|
| 10/6 |
Synthesis of Embedded Software Using FCPN
PN Modeling of Biological Networks
Performance Analysis and Design of Supply Chains: A PN Approach
|
Presenter 1: Brad Miller
Presenter 2: Avissa Tehrani PPT1 PPT2
|
| 10/13 |
Synchronous Approach to Reactive and Real-Time Systems |
Presenter: Jeff Jensen
|
| 10/20 |
Implementing Synchronous Models on Loosely Time Triggered Architectures |
Presenter: Alberto Puggelli PPT |
| 10/27 |
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
|
Presenter: Gracia Yuen PPT |
| 11/3 |
Period Optimization for Hard Real-time Distributed Automotive Systems |
Presenter: Karla Vega |
| 11/10 |
A Methodology for Constraint-Driven Synthesis of On-chip Communication |
Presenter: Shaoyi Cheng |
| 11/17 |
Flexible and Formal Modeling of Microprocessors with Application to
Retargetable Simulation |
Presenter: Brad Miller PPT |
| 11/24 |
Contract-based Component System Design |
Presenter: Jeff Jensen |
| 12/1 |
The Tire as an Intelligent Sensor |
Presenter: Avissa Tehrani |
