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 |