6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Ptolemy Project Status and Overview Edward A. Lee Ptolemy Project Director, UC Berkeley.

Slides:



Advertisements
Similar presentations
Rule Based Operational Semantics Specification in Ptolemy Yanwar Asrigo COMP 763B - Modeling and Simulation Based Design 30 th April 2008.
Advertisements

DATAFLOW PROCESS NETWORKS Edward A. Lee Thomas M. Parks.
Discrete Event Models: Getting the Semantics Right Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley With thanks to Xioajun.
UC Berkeley Mobies Technology Project PI: Edward Lee CoPI: Tom Henzinger Process-Based Software Components for Networked Embedded Systems.
ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001) Jun 22-23, 2001, Snowbird, Utah, USA Embedded Software from.
Process-Based Software Components for Networked Embedded Systems Edward A. Lee, PI UC Berkeley Core Technical Team (Mobies, SEC, and GSRC): Christopher.
SRC ETAB Summer Study Colorado Springs, June 25-26, 2001 Model-Based Approaches to Embedded Software Design Edward A. Lee UC Berkeley & GSRC.
Overview of Ptolemy II Edward A. Lee Professor UC Berkeley October 9, 2003.
Chess Review May 8, 2003 Berkeley, CA Classes and Inheritance in Actor- Oriented Models Stephen Neuendorffer Edward Lee UC Berkeley.
Advanced Tool Architectures Supporting Interface-Based Design
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
Mobies Phase 1 UC Berkeley 1 Agenda 8:00-8:30 Continental breakfast 8:30-9:00 Overview of Mobies Phase 1 effort (Edward A. Lee) 9:00-9:40 Introduction.
Type System, March 12, Data Types and Behavioral Types Yuhong Xiong Edward A. Lee Department of Electrical Engineering and Computer Sciences University.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Leveraging Synchronous Language Principles for Hybrid System Models Haiyang Zheng and.
Department of Electrical Engineering and Computer Sciences University of California at Berkeley Behavioral Types for Actor-Oriented Design Edward A. Lee.
Behavioral Types as Interface Definitions for Concurrent Components Center for Hybrid and Embedded Software Systems Edward A. Lee Professor UC Berkeley.
6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Future Directions Edward A. Lee.
Building Unreliable Systems out of Reliable Components: The Real Time Story Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS CHESS: Center.
Ptolemy Miniconference May 9, 2003 Berkeley, CA Ptolemy Project Status and Overview Edward A. Lee Professor Ptolemy Project Director.
Understandable and Scalable Concurrency Christopher Brooks Programmer/Analyst, University of California, Berkeley Edward A. Lee Robert S. Pepper Distinguished.
February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design.
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.
Heterogeneous Modeling and Design in Ptolemy II Johan Eker UC Berkeley with material courtesy of Edward Lee and the Ptolemy group ECE Seminar Series, Carnegie.
Modeling Heterogeneous Systems Edward Lee UC Berkeley Design for Safety Workshop NASA Ames Research Center Mountain View, CA 11 October, Design.
Mobies Phase 1 UC Berkeley 1 Process-Based Software Components Mobies Phase 1, UC Berkeley Edward A. Lee and Tom Henzinger PI Meeting, Boca Raton January.
February 23, 2012 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, EECS Thomas.
Review of “Embedded Software” by E.A. Lee Katherine Barrow Vladimir Jakobac.
Actor-Oriented Design: A focus on domain-specific languages for embedded systems Edward A. Lee Professor, UC Berkeley Director, Center for Hybrid and Embedded.
Building Unreliable Systems out of Reliable Components: The Real Time Story Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS CHESS: Center.
Defining Domains Edward A. Lee Professor, UC Berkeley Ptolemy Ptutorial, Feb. 12, 2007.
Model-Based Design in the Ptolemy Project A Chess Project Center for Hybrid and Embedded Software Systems Edward A. Lee UC Berkeley Presented at Boeing,
Models of Computation for Embedded System Design Alvise Bonivento.
Discrete Event Models: Getting the Semantics Right Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley With special thanks.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Causality Interfaces and Compositional Causality Analysis Rachel Zhou UC Berkeley.
MoBIES PI-Meeting, July 2001, Jackson Hole Controller Design Using Multiple Models of Computation Edward Lee Johan Eker with thanks to Paul Griffiths,
SEC PI Meeting Annapolis, May 8-9, 2001 Component-Based Design of Embedded Control Systems Edward A. Lee & Jie Liu UC Berkeley with thanks to the entire.
Department of Electrical Engineering and Computer Sciences University of California at Berkeley Concurrent Component Patterns, Models of Computation, and.
MoBIES Working group meeting, September 2001, Dearborn Ptolemy II The automotive challenge problems version 4.1 Johan Eker Edward Lee with thanks.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 PTIDES: A Programming Model for Time- Synchronized Distributed Real-time Systems Yang.
Process-Based Software Components Final Mobies Presentation Edward A. Lee Professor UC Berkeley PI Meeting, Savannah, GA January 21-23, 2004 PI: Edward.
Concurrent Models of Computation in System Level Design Edward Lee UC Berkeley Forum on Design Languages Workshop on System Specification & Design Languages.
State of the Art Lecture IEEE Instrumentation and Measurement Technology Conference Budapest, Hungary, May 21-23, 2001 Computing for Embedded Systems Edward.
Embedded Software: Leveraging Concurrent Models of Computation Edward A. Lee Professor, UC Berkeley Center for Hybrid and Embedded Software Systems (CHESS)
Ptolemy Project 1 Streaming Models of Computation in The Ptolemy Project Edward A. Lee Professor UC Berkeley Workshop on Streaming Systems, Endicott House,
5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 The Component Interaction Domain: Modeling Event-Driven and Demand- Driven Applications.
Embedded Software Challenges for the Next 10 Years Chess: Center for Hybrid and Embedded Software Systems Infineon Embedded Software Days Munich, Sept.
Panel: What Comes After C++ in System-Level Specification Edward Lee UC Berkeley Forum on Design Languages Workshop on System Specification & Design Languages.
Lee & Henzinger ESWG #1 UC Berkeley Mobies Technology Project Process-Based Software Components for Networked Embedded Systems PI: Edward Lee CoPI: Tom.
MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.
Model-Driven Development From Object-Oriented Design to Actor-Oriented Design Chess: Center for Hybrid and Embedded Software Systems Edward A. Lee Professor.
Department of Electrical Engineering and Computer Sciences University of California at Berkeley The Ptolemy II Framework for Visual Languages Xiaojun Liu.
An Overview of the Ptolemy Project and Actor-Oriented Design Edward A. Lee Professor UC Berkeley Center for Hybrid and embedded software systems OMG Technical.
Embedded Software: Building the Foundations Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS CHESS: Center for Hybrid and Embedded Software.
Composing Models of Computation in Kepler/Ptolemy II
Design Languages in 2010 Chess: Center for Hybrid and Embedded Software Systems Edward A. Lee Professor UC Berkeley Panel Position Statement Forum on Design.
Actor Networks Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley Invited Talk Workshop Foundations and Applications of Component-based.
I ndustrial Cy ber- Ph ysical Systems October 16, 2015 CyPhySim CyPhySim is an open-source simulator for cyber-physical systems. The.
PTII Model  VHDL Codegen Verification Project Overview 1.Generate VHDL descriptions for Ptolemy models. 2.Maintain bit and cycle accuracy in implementation.
Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA.
February 11, 2016 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
February 14, 2013 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
Retargetable Model-Based Code Generation in Ptolemy II
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
An overview of the CHESS Center
Embedded Systems: A Focus on Time
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
An overview of the CHESS Center
Presentation transcript:

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Ptolemy Project Status and Overview Edward A. Lee Ptolemy Project Director, UC Berkeley

Lee, Berkeley 2 Software Legacy of the Project Gabriel ( ) Written in Lisp Aimed at signal processing Synchronous dataflow (SDF) block diagrams Parallel schedulers Code generators for DSPs Hardware/software co-simulators Ptolemy Classic ( ) Written in C++ Abstract Actor Semantics Multiple models of computation Hierarchical heterogeneity Dataflow variants: BDF, DDF, PN C/VHDL/DSP code generators Optimizing SDF schedulers Higher-order components Ptolemy II ( ) Written in Java Behavioral polymorphism Multithreaded Network integrated and distributed Modal models Sophisticated type system CT, HDF, CI, GR, etc. Each of these served us, first-and-foremost, as a laboratory for investigating design. Focus has always been on embedded software.

Lee, Berkeley 3 And Most Recently… Kepler (2003-?) Scientific workflows Web services harvester Computational grid integration Semantic types Browser interface Database integration “R” integration Sensor data streaming XML and XSLT integration …

Lee, Berkeley 4 Where it started: SDF: Synchronous Dataflow and the Balance Equations ( ) Actor 1 Connector 1 balance equations firing vector production/consumption matrix

Lee, Berkeley 5 Gabriel and Ptolemy Classic Leveraged SDF to Generate Parallel Code SDF model, parallel schedule, and synthesized DSP assembly code (1990) It is an interesting (and rich) research problem to minimize interlocks in complex multirate applications.

Lee, Berkeley 6 Many Scheduling and Optimization Problems (and Some Solutions) Resulted Optimization criteria that might be applied: Minimize buffer sizes. Minimize the number of actor activations. Minimize the size of the representation of the schedule (code size). See S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee, Software Synthesis from Dataflow Graphs, Kluwer Academic Press, 1996, for a summary of the single processor optimization problems.

Lee, Berkeley 7 Gabriel and Ptolemy Classic Provided Cosimulation of Hardware and Generated Software An SDF model, a “Thor” model of a 2- DSP architecture, a “logic analyzer” trace of the execution of the architecture, and two DSP code debugger windows, one for each processor (1990).

Lee, Berkeley 8 Example: Application to ADPCM Speech Coding Model of a speech coder generated to DSP assembly code and executed using aa DSP debugger interface with host/DSP interaction (1993).

Lee, Berkeley 9 Example: Heterogeneous Architecture with DSP and Sun Sparc Workstation (1995) DSP card in a Sun Sparc Workstation runs a portion of a Ptolemy model; the other portion runs on the Sun.

Lee, Berkeley 10 Ptolemy Classic Example Showing Higher-Order Components (adaptive nulling in an antenna array, 1995) Ptolemy application developed by Uwe Trautwein, Technical University of Ilmenau, Germany streams hierarchical components higher-order components

Lee, Berkeley 11 Higher-Order Components Realizing Recursion in Ptolemy Classic FFT implementation in Ptolemy Classic (1995) used a partial evaluation strategy on higher-order components. recursive reference

Lee, Berkeley 12 Higher-Order Components in Ptolemy II The dynamic dataflow (DDF) domain (new to Ptolemy II in v. 5.0) implements recursion in a similar way [due to Gang Zhou].

Lee, Berkeley 13 Higher-Order Expression Language in Ptolemy II Higher-order components (actor-oriented) coupled with a higher-order expressions (functional) are a potentially powerful combination. Neuendorffer and Zhao

Lee, Berkeley 14 What is the Ptolemy Project Really About?

Lee, Berkeley 15 The Ptolemy Project is About Actor-Oriented Design Actor orientation: actor name data (state) ports Input data parameters Output data What flows through an object is streams of data class name data methods call return What flows through an object is sequential control Object orientation:

Lee, Berkeley 16 Actor-Oriented vs. Object-Oriented The figure at the left shows the use of object-oriented web services for a “microarray data- analysis scenario for identifying targets in drug discovery.” The authors explain, “the numbered lines are the steps in the analysis path.” From Gao & Hayes, “Integrating Biological Research through Web Services,” Computer, March, 2005.

Lee, Berkeley 17 The First (?) Actor-Oriented Platform The On-Line Graphical Specification of Computer Procedures W. R. Sutherland, Ph.D. Thesis, MIT, 1966 MIT Lincoln Labs TX-2 Computer Bert Sutherland with a light pen Partially constructed actor-oriented model with a class definition (top) and instance (below). Bert Sutherland used the first acknowledged object- oriented framework (Sketchpad, created by his brother, Ivan Sutherland) to create the first actor-oriented programming framework.

Lee, Berkeley 18 Your Speaker in 1966

Lee, Berkeley 19 Modern Examples of Actor-Oriented Platforms Simulink (The MathWorks) LabVIEW (National Instruments) Modelica (Linkoping) OPNET (Opnet Technologies) Giotto and xGiotto (UC Berkeley) Polis & Metropolis (UC Berkeley) Gabriel, Ptolemy, and Ptolemy II (UC Berkeley) OCP, open control platform (Boeing) GME, actor-oriented meta-modeling (Vanderbilt) SPW, signal processing worksystem (Cadence) System studio (Synopsys) ROOM, real-time object-oriented modeling (Rational) Easy5 (Boeing) Port-based objects (U of Maryland) I/O automata (MIT) VHDL, Verilog, SystemC (Various) …

Lee, Berkeley 20 Ptolemy II: Our Laboratory for Actor-Oriented Models of Computation Director from an extensible library defines component interaction semantics Extensile, behaviorally- polymorphic component library. Visual editor supporting an abstract syntax Type system for transported data Concurrency management supporting dynamic model structure.

Lee, Berkeley 21 Models of Computation Implemented in Ptolemy II CI – Push/pull component interaction Click – Push/pull with method invocation CSP – concurrent threads with rendezvous CT – continuous-time modeling DDF – Dynamic dataflow DE – discrete-event systems DDE – distributed discrete events DPN – distributed process networks FSM – finite state machines DT – discrete time (cycle driven) Giotto – synchronous periodic GR – 2-D and 3-D graphics PN – process networks SDF – synchronous dataflow SR – synchronous/reactive TM – timed multitasking Most of these are actor oriented.

Lee, Berkeley 22 Ptolemy II Extension Points Define actors Interface to foreign tools (e.g. Python, MATLAB) Interface to verification tools (e.g. Chic) Define actor definition languages Define directors (and models of computation) Define visual editors Define textual syntaxes and editors Packaged, branded configurations “Domains” are extensions built on the core infrastructure.

Lee, Berkeley 23 What have we done recently?

Lee, Berkeley 24 Modeling and Design of Wireless Networked Systems VisualSense: Modeling of wireless sensor networks as an extension of DE. [Baldwin, Kohli, Liu, Zhao] VIPTOS: Design of software for wireless sensor network motes in TinyOS/nesC. [Cheong, coming soon]

Lee, Berkeley 25 Actor-Oriented Type Systems Classes, Subclasses, and Inheritance instance subclass inherited actors override actors local class definition execution This type system builds on abstract syntax (not semantics) so it applies very broadly to actor-oriented models, including hybrid systems. Lee, Liu, Neuendorffer

Lee, Berkeley 26 Semantics Clean, clear, and rigorous semantics for discrete-event, continuous-time, and hybrid systems [Cataldo, Liu, Matsikoudis, Zheng]

Lee, Berkeley 27 Stochastic Hybrid Systems Stochastic hybrid systems in Ptolemy II are Monte- Carlo models of nondeterminism Example of random “spontaneous transitions” by Lee and Zheng, based on suggestion by John Lygeros.

Lee, Berkeley 28 Other Key Results Reconfiguration analysis [Neuendorffer] Generalized dependency analysis [Neuendorffer, Zheng] The Cal actor language [Eker and Janneck] Java code generation [Neuendorffer] Modal model semantics [Liu, Zhou (Rachel)] Mixed procedural and event semantics [Cheong] Unbounded time, controlled precision [Zheng] Nondeterministic merge in PN [Lee, Xiaowen Xin (LLNL)] Giotto + Ptolemy II package [Brooks] Communications library [Zhou (Rachel)] Image and video library [Yeh] Scratchpad memory management from SDF [Kohli]

Lee, Berkeley 29 Acknowledgements Recent PhD graduates Steve Neuendorffer (Xilinx) Yuhong Xiong (HP Labs) Recent Postdocs Jörn Janneck (Xilinx) Recent masters graduates Vinay Krishnan Sanjeev Kohli James Yeh Current sponsors Agilent Hewlett-Packard Escher Institute National Science Foundation Toyota Current students Adam Cataldo Elaine Cheong Thomas Huining Feng Xiaojun Liu Eleftherios Matsikoudis Yang Zhao Haiyang Zheng Gang Zhou Rachel Zhou Staff Christopher Brooks Mary Margaret Sprinkle Mary Stewart