Eighth Biennial Ptolemy Miniconference Program

The Eighth Biennial Ptolemy Miniconference was held on Thursday, April 16, 2009 at the University of California, Berkeley in the Wozniak Lounge, 4th Floor Soda Hall

Note that Cyber-Physical Systems Week was held in San Francisco earlier in the week.

The previous day, we held a tutorial on Wednesday, April 15, 2009 for Java programmers interested in hands-on learning about Ptolemy.

Continental Breakfast, Registration and Introductions

8:30 - 9:00
Registration and Continental Breakfast
9:00 - 9:20
"Ptolemy Project Vision"
Edward A. Lee (University of California, Berkeley)
9:20 - 9:40
"Kepler Project Overview, Status, and Future Directions"
Bertram Ludäscher (University of California, Davis)

Featured Presentation

9:40 - 10:00
"Model Transformation with the Ptera Controller"
Thomas Huining Feng, (University of California)
10:00 - 10:20

Hardware and Distributed Systems

10:20 - 10:40
"Parallel Virtual Machines in Kepler"
Daniel Zinn, Xuan Li, Bertram Ludäscher (University of California, Davis)
10:40 - 11:00
"The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems"
Stefan Resmerita (University of California, Berkeley) and Patricia Derler (University of Salzburg)
11:00 - 11:20
"Precision Timed (PRET) Machines"
Hiren Patel, Ben Lickly, Isaac Liu (University of California, Berkeley)
11:20 - 11:40
"PTIDES (Programming Temporally Integrated Distributed Embedded Systems) and PtidyOS"
Slobodan Matic and Jia Zou (University of California, Berkeley)

Posters and Lunch

11:40 - 12:10
3 minute Poster Overviews
Below is a partial list of posters, we expect additional posters.
"On-time Network On-Chip: Analysis and Architecture"
Dai Nguyen Bui (UC Berkeley), Alessandro Pinto (United Technologies Research Center)
"Everyone Virtualized Everything But Time"
Silviu S. Craciunas, Christoph M. Kirsch
"Using 3D Graphics in Combination with other Models of Computation"
Yasmin Demir (UC Berkeley)
"Model Transformation with the Ptera Controller"
Thomas Huining Feng (UC Berkeley)
"PtidyOS: An operating system based on the PTIDES programming model"
Shanna-Shaye Forbes, Jia Zou, Slobodan Matic (University of California, Berkeley)
"Modeling Network Lifetime in a WSN using VisualSense"
Ricardo Gonzalez, Maribel Acosta (Universidad Simon Bolívar)
"Retargetable Model-Based Code Generation in Ptolemy II"
Man-Kit Leung, Tony Huang, Bert Rodiers(UC Berkeley)
"Precision Timed Exceptions"
Ben Lickly (UC Berkeley)
"Side channel elimination on a Precision Timed Architecture"
Isaac Liu (UC Berkeley)
"Foundations of Cyber-Physical Systems"
Eleftherious Matsikoudis
"Precision Timed (PRET) Machines"
Hiren Patel, Ben Lickly, Isaac Liu (University of California, Berkeley)
"Optimizing Comad for growing input data sets"
Sean Riddle, Amber Hartman, Timothy M. McPhillips, Shawn Bowers, David Welker, and Bertram Ludäscher (University of California, Davis)
"Channel Widths"
Bert Rodiers (UC Berkeley)
"A generalized framework for modeling and scheduling heterogeneous dataflow applications"
Nimish Sane, Shuvra S. Bhattacharyya, (University of Maryland)
"KAMon: A Kepler Module for Runtime Monitoring of Scientific Workflows"
Faraaz Sareshwala, Bertram Ludäscher (University of California, Davis)
"Simulating the Calculus for Sensor Networks in VisualSense"
Duarte Vieira (University of Lisbon)
12:10 - 12:45
Lunch (Provided)
12:45 - 2:20
Poster Session

Provenance and Ontologies

2:20 - 2:40
"A Provenance Framework to Capture, Store, Query, and Browse Data Lineage in Kepler"
Manish Kumar Anand (University of California, Davis)
2:40 - 3:00
"Model Ontologies: Generalizing Type System Ideas to Arbitrary Model"
Thomas Mandl (Bosch), Elizabeth Latronico (Bosch), Jackie Man-Kit Leung (University of California, Berkeley)
3:00 - 3:20
"An integrated approach to managing workflow runs and generating reports in Kepler"
Ben Leinfelder(1), Ilkay Altintas(2), Derik Barseghian(1), Daniel Crawl(2), Matthew B. Jones(1), Aaron Schultz(1), Debi Staggs(1)
(1) National Center for Ecological Analysis and Synthesis;
(2) San Diego Supercomputer Center
3:20 - 3:40

And Beyond

3:40 - 4:00
"Using Actor-based design for IP Sharingh"
Darryl Koivisto (Mirabilis Design)
4:00 - 4:20
"Taking LabVIEW further into the System Level Design Domain"
Hugo Andrade, Sadia Malik, Mike Rauser, Kaushik Ravindran, Gerald Wang, and Guang Yang (National Instruments)
4:20 - 4:40
"Exploring Modeling Pragmatics with Ptolemy and KIELER"
Hauke Fuhrmann and Reinhard von Hanxleden (Christian-Albrechts-Universität zu Kiel, Germany)
4:40 - 5:00
"Closing Remarks"
Edward A. Lee (University of California, Berkeley)
5:00 - 6:30