http://chess.eecs.berkeley.edu/

February 23, 2012 Center for Hybrid and Embedded Software Systems

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

Edward A. LeeChristopher Brooks

Actor Oriented Design:

The alternative: Actor oriented:

actor namedata (state)

ports

Input data parameters Output data

What flows through an object is evolving data

class name

datamethods

call return

What flows through an object

is sequential control

The established: Object-oriented:

Things happen to objects

Actors makethings happen

Ptolemy II is an open-source set of Java packages supporting construction of tools for model-based design

Director from a library defines component interaction semantics

Behaviorally-polymorphic component library.

Visual editor supporting an abstract syntax

Type system for transported data

Current Berkeley Developers:Edward A. Lee (PI)Ilge AkkayaChristopher BrooksDai BuiPatricia DerlerBen LicklyIsaac LiuChristopher ShaverStavros Tripakis

Current Outside Developers:Bosch: OntologiesLawrence Berkeley Labs: Building Controls Virtual Test Bed Thales: Multi-Dimensional DataflowUCSB, UCD, UCSD: Kepler - WorkflowChristian-Albrechts-Universität zu Kiel: Layout

Ptolemy II 9.0•Due Summer, 2012•New Features:

•Ontologies•FSM/Modal Updates•New Java/C Code Gen.•Ptolemy Book

Ptolemy II is a Laboratory for experimenting with design techniques.

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 modelsPN: 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 Ptolemy II is available for download from http://ptolemy.org/ptolemyII

Ptolemy: Software as Publication•BSD License•Design and Code Reviews•Nightly Builds•Unit and System Tests•Coding Style Guide

Ptolemy consists of Java PackagesA 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

A model is a hierarchical interconnection of actors

This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET), #1035672 (CPS: PTIDES), and #0931843 (ActionWebs)), the U. S. Army Research Laboratory (ARL #W911NF-11-2-0038), the Air Force Research Lab (AFRL), the Multiscale Systems Center (MuSyC), one of six research centers funded under the Focus Center Research Program, a Semiconductor Research Corporation program, and the following companies: Bosch, National Instruments, Thales, and Toyota.