EECS 290N Project Presentations

See also project reports.

9-9:20
A Model of Computation for Sensor Network Application Language
Alvise Bonivento
9:20-9:40
xGiotto and Schedulability
Arkadeb Ghosal
9:40-10:00
Ptossim: Simulating TinyOS in Ptolemy II
Elaine Cheong
10:00-10:20
Medical Imaging Toolkit
Tiffany Crawford
10:20-10:40
A Platform Based Design Flow for Kahn Process Networks
Abhijit Davare and Qi Zhu
10:40-11:00
A Schedulability-Preserving Transformation of Boolean Dataflow Networks to Petri Nets
Cong Liu
11:00-11:20
Kahn’s Principle and the Semantics of Discrete Event Systems
Xiaojun Liu
11:20-11:40
Design of Fault Tolerant Data Flow in Ptolemy II
Mark McKelvin
11:40-12:00
New Synthesis Flow of Communicating Processes Using Architectural Compiler(Removed at the request of Cadence)
Gerald Wang
12:00-1:30
Lunch
1:30-1:50
On Generating Safe Controllers for Discrete-Time Linear Systems
Adam Cataldo
1:50-2:10
Modeling and Simulating Discrete Event Systems in Metropolis
Guang Yang
2:10-2:30
Implementing Metropolis Quantity Managers in Ptolemy II
Haibo Zeng
2:30-2:50
Distributed Execution of Ptolemy Models
Yang Zhao and Thomas H. Feng
2:50-3:10
Timed Simulation with Multiple Resource Schedulability Analysis
Yang Zhao and Slobodan Matic
3:10-3:30
Compositionality Analysis With Function Dependency
Haiyang Zheng and Rachel Zhou
3:30-3:50
Toward a Denotational Semantics for Discrete Event Systems
Eleftherios D. Matsikoudis