Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java 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 Laboratory for experimenting with design techniques. Director from a library defines component interaction semantics Actor Oriented Design: Behaviorally-polymorphic component library. Current Primary Berkeley Developers: Edward A. Lee (PI) Ilge Akkaya Christopher Brooks Patricia Derler (now at National Instruments ) Marten Lohstroh Current Outside Developers: Lawrence Berkeley Labs: Building Controls Virtual Test Bed Quantized State Systems, FMI UCSB, UCD, UCSD: Kepler – Workflow Institut Supérieur de l'Aéronautique et de l'Espace (ISAE) France: High Level Architecture The established: Object-oriented: What flows through an object is sequential control Type system for transported data class name Visual editor supporting an abstract syntax data methods Things happen to objects call return 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: Software as Publication BSD License Design and Code Reviews Nightly Builds Unit and System Tests Coding Style Guide Ptolemy II 10.0 Released in December, 2014 New Features: Backward type inference Code Generation Ontologies Export to Web FSM/Modal Updates Ptolemy Book Ptolemy II [1-4] is a laboratory for experimenting with design techniques. Ptolemy II is implemented as a set of Java packages supporting heterogeneous, concurrent modeling, simulation, and design of component-based systems. The emphasis is on a clean, modular software architecture, divided into a set of coherent, comprehensible packages. The kernel package supports definition and manipulation of clustered hierarchical graphs, which are collections of entities and relations between those entities. The actor package extends the kernel so that entities have functionality and can communicate via the relations. The domains extend the actor package by imposing models of computation on the interaction between entities What flows through an object is evolving data actor name data (state) Input data Output data parameters ports 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; the iCyPhy Research Center (Industrial Cyber-Physical Systems, supported by IBM and United Technologies); the National Science Foundation (NSF) awards #1446619 (Mathematical Theory of CPS), #1329759 (COSMOI), #0931843 (ActionWebs), #0720882 (CSR-EHS: PRET), #1035672 (CPS: Medium: Timing Centric Software); the Naval Research Laboratory (NRL #N0013-12-1-G015); and the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, supported by the following companies: Denso, IHI, 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 February 12, 2015 Center for Hybrid and Embedded Software Systems