Http://chess.eecs.berkeley.edu/ February 11, 2010 Center for Hybrid and Embedded Software Systems...

1
http://chess.eecs.berkeley.edu/ February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java Edward A. Lee Christopher Brooks Actor Oriented Design: The alternative: Actor oriented: actor name data (state) ports Input data parameters Output data What flows through an object is evolving data class name data methods call return What flows through an object is sequential control The established: Object-oriented: Things happen to objects Actors make things 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) Christopher Brooks Dai Bui Yasemin Demir Shanna-Shaye Forbes Ben Lickly Isaac Liu Stavros Tripakis Jia Zou Current Outside Developers: Bosch: Ontologies Thales: Multi-Dimensional Dataflow UCSB, UCD, UCSD: Kepler - Workflow Christian-Albrechts- Universität zu Kiel: Layout Ptolemy II 8.0 •8.0.beta due any day now •New Features: •Ptera Domain •Model Transformation •Causality Analysis •Continuous Domain •Modal Domain 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 DDF: dynamic dataflow DE: discrete-event modeling Modal: finite state machines and modal model 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 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 Packages A few key packages: kernel: abstract syntax (entities with ports and interconnections) data: data transport between actors 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 is supported in part by the Center for Hybrid and Embedded Software Systems (CHESS), at UC Berkeley, which recieves support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET) and #0720841 (CSR-CPS)), the U. S. Army Research Office (ARO #W911NF-07-2-0019), the U. S. Air Force Office of Scientific Research (MURI #FA9550-06-0312), the Air Force Research Lab (AFRL), the State of California Micro Program, and the following companies: Agilent, Bosch, Lockheed-Martin, National Instruments, Thales and Toyota.
  • date post

    19-Dec-2015
  • Category

    Documents

  • view

    221
  • download

    8

Transcript of Http://chess.eecs.berkeley.edu/ February 11, 2010 Center for Hybrid and Embedded Software Systems...

Page 1: Http://chess.eecs.berkeley.edu/ February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design.

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

February 11, 2010 Center for Hybrid and Embedded Software Systems

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

Edward A. Lee

Christopher 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

data

methodscall 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)Christopher BrooksDai BuiYasemin DemirShanna-Shaye ForbesBen LicklyIsaac LiuStavros TripakisJia Zou

Current Outside Developers:Bosch: OntologiesThales: Multi-Dimensional DataflowUCSB, UCD, UCSD: Kepler - WorkflowChristian-Albrechts-Universität zu Kiel: Layout

Ptolemy II 8.0•8.0.beta due any day now•New Features:

•Ptera Domain•Model Transformation•Causality Analysis•Continuous Domain•Modal Domain

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 DDF: dynamic dataflow DE: discrete-event modeling Modal: finite state machines and modal model 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 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•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 is supported in part by the Center for Hybrid and Embedded Software Systems (CHESS), at UC Berkeley, which recieves support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET) and #0720841 (CSR-CPS)), the U. S. Army Research Office (ARO #W911NF-07-2-0019), the U. S. Air Force Office of Scientific Research (MURI #FA9550-06-0312), the Air Force Research Lab (AFRL), the State of California Micro Program, and the following companies: Agilent, Bosch, Lockheed-Martin, National Instruments, Thales and Toyota.