Ptolemy II Heterogeneous Concurrent Edward A Lee Christopher

Ptolemy II - Heterogeneous Concurrent Edward A. Lee Christopher Brooks Modeling and Design in Java http: //chess. eecs. berkeley. edu/ Ptolemy II is a Laboratory for experimenting with design techniques. A model is a hierarchical interconnection of actors Ptolemy II is an open-source set of Java packages supporting construction of tools for modelbased design Director from a library defines component interaction semantics Actor Oriented Design: The established: Object-oriented: What flows through an object class name is sequential data control methods Things happen return call to objects The alternative: Actor oriented: actor name data (state) Input data parameters ports Actors make things happen What flows through an object is evolving data Output data 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 February 14, 2013 Current Berkeley Developers: Behaviorallypolymorphic component library. Type system for transported data Visual editor supporting an abstract syntax 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 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 Ptolemy: Software Ptolemy II 10. 0 • Due Summer, 2013 as Publication • New Features: • BSD License • Backward type inference • Design and Code Reviews • Code Generation • Nightly Builds • Ontologies • Unit and System Tests • Export to Web • Coding Style Guide • FSM/Modal Updates • Ptolemy Book This work was supported in part by the i. Cy. Phy Research Center (Industrial Cyber-Physical Systems, supported by IBM and United Technologies), and the Terra. Swarm 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 (Action. Webs), the Naval Research Laboratory (NRL #N 0013 -12 -1 -G 015), and the following companies: Bosch, National Instruments, and Toyota). Ptolemy II is available for download from http: //ptolemy. org/ptolemy. II Center for Hybrid and Embedded Software Systems