Http://chess.eecs.berkeley.edu/ February 11, 2010 Center for Hybrid and Embedded Software Systems...
-
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...
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.