Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

1. Director from a library defines component interaction semantics Behaviorally-polymorphic component library. Type system for transported data Visual editor supporting an abstract syntax • Edward A. Lee • Christopher Brooks Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java A model is a hierarchical interconnection of actors Ptolemy II is an open-source set of Java packages supporting construction of tools for model-based design Ptolemy II is a Laboratoryfor experimenting with design techniques. Actor Oriented Design: Current Berkeley Developers: Edward A. Lee (PI) Ilge Akkaya Christopher Brooks Dai Bui Patricia Derler Liangpeng Guo Marten Lohstroh Christopher Shaver Stavros Tripakis Current Outside Developers: Bosch: Ontologies Lawrence Berkeley Labs: Building Controls Virtual Test Bed UCSB, UCD, UCSD: Kepler - Workflow Christian-Albrechts-Universität zu Kiel: Layout The established: Object-oriented: What flows through an object is sequential control class name data methods Things happen to objects return call Ptolemy II includes a suite of domains, each of which realizes a model of computation Mature Domains: Continuous: continuous-time modeling & hybrid systems DDF: dynamic dataflow DE: discrete-event modeling Modal: finite state machines and modal models PN: process networks with asynchronous message passing Rendezvous: process networks with synchronous message passing SDF: synchronous dataflow SR: synchronous reactive Wireless: wireless Domains that are still experimental: CI: component interaction (push/pull) DDE: distributed discrete events DT: discrete time Giotto: periodic time-driven GR: 3-D graphics HDF: heterochronous dataflow PSDF: parameterized synchronous dataflow TM: timed multitasking The alternative: Actor oriented: Actors make things happen • Ptolemy II 10.0 • Due Summer, 2013 • New Features: • Backward type inference • Code Generation • Ontologies • Export to Web • FSM/Modal Updates • Ptolemy Book • Ptolemy: Software • as Publication • BSD License • Design and Code Reviews • Nightly Builds • Unit and System Tests • Coding Style Guide What flows through an object is evolving data actor name data (state) Input data Output data parameters ports This work was supported in part by the iCyPhy Research Center (Industrial Cyber-Physical Systems, supported by IBM and United Technologies), and the TerraSwarm Research Center, one of six centers administered by the STARnet phase of the Focus Center Research Program (FCRP) a Semiconductor Research Corporation program sponsored by MARCO and DARPA and the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley (supported by the National Science Foundation, NSF awards #0720882 (CSR-EHS: PRET) and #0931843 (ActionWebs), the Naval Research Laboratory (NRL #N0013-12-1-G015), and the following companies: Bosch, National Instruments, and Toyota). • Ptolemy consists of Java Packages • A few key packages: • kernel: abstract syntax (entities with ports and interconnections) • data: data transport between actors & type system • actor: execution semantics • domains: models of computation • vergil: a visual editing environment • moml: a persistent XML file format Ptolemy II is available for download from http://ptolemy.org/ptolemyII Center for Hybrid and Embedded Software Systems