Ninth Biennial Ptolemy Miniconference Presentations

February 16, 2011, UC Berkeley The presentations below are in 1-up format.

The Ninth Biennial Ptolemy Miniconference Handout contains versions of the presentations below that were printed in 2-up format and distributed to the attendees.

8:00 - 8:30 Continental Breakfast
8:30 - 8:45 Ptolemy Miniconferences Edward Lee (Berkeley)
8:45 - 9:10 Distributed Execution Architectures in Kepler Jianwu Wang, Daniel Crawl, Ilkay Altintas, Chad Berkley, & Matthew B. Jones (San Diego Supercomputer Center and UC Santa Barbara)
9:10 - 9:35 Modeling Distributed Real-Time Systems with Ptolemy II Patricia Derler, Jia Zou, Slobodan Matic, John Eidson (Berkeley)
9:35 - 9:55 Semantics of Modal Models in Ptolemy Stavros Tripakis & Edward A. Lee (Berkeley)
9:55 - 10:15 Break
10:15 - 11:10 Static Analysis using the Ptolemy II Ontologies Package Charles Shelton, Elizabeth Latronico, & Ben Lickly (Bosch & Berkeley)
11:10 - 11:35 To Meet or Not to Meet the Deadline Jan Reineke, Isaac Liu, Gage Eads, Stephen Edwards, Sungjun Kim, Hiren Patel (Berkeley, Columbia, Waterloo)
11:35 - 12:15 Poster Tweets
12:15 - 2:30 Working Lunch and Poster Session
2:30 - 2:55 The Dataflow Interchange Format: Towards Co-Design of DSP-oriented Dataflow Models and Transformations Shuvra S. Bhattacharyya (Univ. of Maryland)
2:55 - 3:20 Workflow Recovery for Different Models of Computation and Models of Provenance Sven Koehler, Bertram Ludaescher, Timothy McPhillips, Anandarup Sarkar (UC Davis)
3:20 - 3:45 Design, Analysis, and Implementation of Static Dataflow Models for Hardware Targets Kaushik Ravindran, Murali Parthasarathy et. al, (National Instruments)
3:45 - 4:00 Break
4:00 - 4:25 Kepler/G-Pack: A Kepler Package Using the Google Cloud for Interactive Scientific Workflows Gongjing Cao, Lei Dou, Quinn Hart, Bertram Ludaescher, (UC Davis)
4:25 - 4:50 Context Aware Actors Anne H.H. Ngu & George Chin Jr. (Texas State Univ. & Pacific NW National Lab)
4:50 - 5:15 Modular Code Generation Dai Bui & Stavros Tripakis (Berkeley)
5:15 - 5:30 The Ptolemy Project: Advancing System Design Edward A. Lee (Berkeley)
6:00 - 8:00 Reception and Dinner, The Faculty Club


Gage Eads (Berkeley) Deadline Instructions in a PRET Architecture
Shanna-Shaye Forbes (Berkeley) Error Handling in Model-Based design for Real-Time Systems
Soheil Ghiasi, Matin Hashemi (UC Davis) Malleable Dataflow Specification: An Essential Ingredient for Resource-Scalable Implementations
Isaac Liu, Jan Reineke (Berkeley) A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties
Slobodan Matic, Ilge Akkaya, and John Eidson (Berkeley) The Distributed Power System Test Case for Distributed Real-Time Systems
Christian Motika, Hauke Fuhrmann, Miro Spönemann Reinhard von Hanxleden (Kiel University) KIELER Actor Oriented Modeling
Darryl Koivisto, Deepak Shankar (Mirabilis) Using Ptolemy/VisualSim for Internet-based model Sharing and Communication.
Chris Shaver (Berkeley) Alternative Syntactic Representations of Graph-Based Models
Chris Shaver, Dai Bui, Stavros Tripakis(Berkeley) Multidimensional Dataflow Models
Elizabeth Latronico, Charles Shelton, Ben Lickly (Bosch & Berkeley) Lattice Composition for Ontology Analysis
Ben Lickly, Charles Shelton, Elizabeth Latronico (Bosch & Berkeley) Practical Ontologies with Infinite Lattices
Andreas Thuy (University of Paderborn) Towards flexible and robust cyber-physical-systems through self organization
Stavros Tripakis, Marc Geilen, Maarten Wiggers (Berkeley, TU Eindhoven) The Earlier the Better: A Theory of Timed Actor Interfaces
Mike Wirthlin (Brigham Young University) Automated Bit-Width Analysis Using Ptolemy
Michael Zimmer (Berkeley) IEEE 1588 Time Synchronization for Real-Time Distributed Systems
Jia Zou, Slobodan Matic, John Eidson (Berkeley) From PTIDES to PtidyOS: Programming Distributed Real-Time Embedded Systems

Please direct questions to ptconf11 at ptolemy eecs berkeley edu