1. 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 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
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 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
Ptolemy: Software
as Publication
BSD License
Design and Code Reviews
Nightly Builds
Unit and System Tests
Coding Style Guide
Ptolemy II 10.0
Due Summer, 2013
New Features:
Backward type inference
Code Generation
Ontologies
Export to Web
FSM/Modal Updates
Ptolemy Book
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 # (CSR-EHS: PRET) and # (ActionWebs), the Naval Research Laboratory (NRL #N 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
February 14, 2013
Center for Hybrid and Embedded Software Systems