EECS 290N Project Presentations

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