Ptolemy Miniconference May 9, 2003 Berkeley, CA Ptolemy Project Status and Overview Edward A. Lee Professor Ptolemy Project Director.

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

Mobies Phase 1 UC Berkeley 1 Process-Based Software Components Mobies Phase 1, UC Berkeley Edward A. Lee and Tom Henzinger (with contributions from Steve.

Process-Based Software Components for Networked Embedded Systems Edward A. Lee, PI UC Berkeley Core Technical Team (Mobies, SEC, and GSRC): Christopher.

Center for Hybrid and Embedded Software Systems College of Engineering, University of California at Berkeley Presented by: Edward A. Lee, EECS, UC Berkeley.

Overview of Ptolemy II Edward A. Lee Professor UC Berkeley October 9, 2003.

L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.

Advanced Tool Architectures Supporting Interface-Based Design

Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.

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.

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.

February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design.

Foundations of Hybrid and Embedded Software and Systems University of California, Berkeley, CHESS Vanderbilt University, ISIS Memphis State, Mathematics.

Component-Based Design of Embedded Control Systems Luca Dealfaro Chamberlain Fong Tom Henzinger Christopher Hylands John Koo Edward A. Lee Jie Liu Xiaojun.

Chess Review October 4, 2006 Alexandria, VA 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.

Mobies Phase 1 UC Berkeley 1 Process-Based Software Components Mobies Phase 1, UC Berkeley Edward A. Lee and Tom Henzinger (with contributions from Steve.

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

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.

Chess Review May 10, 2004 Berkeley, CA Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley.

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.

An Extensible Type System for Component-Based Design

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,

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,

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.

Ptolemy Miniconference May 9, 2003 Berkeley, CA Ptolemy Project Plans for the Future Edward A. Lee Professor Ptolemy Project Director.

Heterochronous Dataflow in Ptolemy II Brian K. Vogel EE249 Project Presentation, Dec. 4, 1999.

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 System-Level Types for Component-Based Design Edward A.

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.

Center for Hybrid and Embedded Software Systems Jonathan Sprinkle Executive Director, CHESS Center for Hybrid and Embedded Software Systems UC Berkeley.

State of the Art Lecture IEEE Instrumentation and Measurement Technology Conference Budapest, Hungary, May 21-23, 2001 Computing for Embedded Systems Edward.

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Program Review May 10,

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.

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 MESCAL Application Modeling and Mapping: Warpath Andrew Mihal and the MESCAL team UC Berkeley.

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.

System-Level Types for Component-Based Design Paper by: Edward A. Lee and Yuhong Xiong Presentation by: Dan Patterson.

Models of Computation as Program Transformations Chris Chang

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.

Composing Models of Computation in Kepler/Ptolemy II

Scalable Models Using Model Transformation Thomas Huining Feng Ph.D. Student, UC Berkeley Edward A. Lee Robert S. Pepper Distinguished Professor, UC Berkeley.

Design Languages in 2010 Chess: Center for Hybrid and Embedded Software Systems Edward A. Lee Professor UC Berkeley Panel Position Statement Forum on Design.

Satisfying Requirements BPF for DRA shall address: –DAQ Environment (Eclipse RCP): Gumtree ISEE workbench integration; –Design Composing and Configurability,

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

An overview of the CHESS Center

Foundations of Hybrid and Embedded Software Systems

TRUST:Team for Research in Ubiquitous Secure Technologies

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

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

An overview of the CHESS Center

Presentation transcript:

Ptolemy Miniconference May 9, 2003 Berkeley, CA Ptolemy Project Status and Overview Edward A. Lee Professor Ptolemy Project Director

Ptolemy Miniconference, May 9, Project Participants Director: Edward A. LeeEdward A. LeeStaff: Christopher HylandsChristopher Hylands Susan Gardner (Chess)Susan Gardner (Chess) Nuala MansardNuala Mansard Mary P. StewartMary P. Stewart Neil E. Turner (Chess)Neil E. Turner (Chess) Lea Turpin (Chess)Lea Turpin (Chess) Postdocs, Etc.: Joern Janneck, PostdocJoern Janneck, Postdoc Rowland R. Johnson, Visiting ScholarRowland R. Johnson, Visiting Scholar Kees Vissers, Visiting Industrial FellowKees Vissers, Visiting Industrial Fellow Daniel Lázaro Cuadrado, Visiting ScholarDaniel Lázaro Cuadrado, Visiting Scholar Graduate Students: J. Adam CataldoJ. Adam Cataldo Chris ChangChris Chang Elaine CheongElaine Cheong Sanjeev KohliSanjeev Kohli Xiaojun LiuXiaojun Liu Eleftherios D. MatsikoudisEleftherios D. Matsikoudis Stephen NeuendorfferStephen Neuendorffer James YehJames Yeh Yang ZhaoYang Zhao Haiyang ZhengHaiyang Zheng Rachel ZhouRachel Zhou

Ptolemy Miniconference, May 9, Chess: Center for Hybrid and Embedded Software Systems Seeded by a Major NSF/ITR project (National Science Foundation/Information Technology Research) Project: Foundations of Hybrid and Embedded Software Systems A collaboration with Vanderbilt’s ISIS Institute and U. of Memphis Chess Board of Directors Tom Henzinger, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Other key faculty Alex Aiken, Dave Auslander, Ruzena Bajcsy, Karl Hedrick, Kurt Keutzer, George Necula, Masayoshi Tomizuka, Pravin Varaiya, NSF

Ptolemy Miniconference, May 9, 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++ –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 –Domain polymorphism –Multithreaded –Network integrated –Modal models –Sophisticated type system –CT, HDF, CI, GR, etc. Each of these served us, first-and- foremost, as a laboratory for investigating design. PtPlot (1997-??) –Java plotting package Tycho ( ) –Itcl/Tk GUI framework Diva ( ) –Java GUI framework All open source. All truly free software (cf. FSF).

Ptolemy Miniconference, May 9, Ptolemy Classic Example Ptolemy application developed by Uwe Trautwein, Technical University of Ilmenau, Germany

Ptolemy Miniconference, May 9, Modeling Synthesis Heterogeneous, problem-level description Heterogeneous, implementation -level description Relating the problem level with the implementation level

Ptolemy Miniconference, May 9, Foundations Our contributions: Behavioral Types Domain Polymorphism Responsible Frameworks Hybrid Systems Semantics Dataflow Semantics Tagged Signal Model Starcharts and Modal Model Semantics Discrete-Event Semantics Continuous-Time Semantics Giving structure to the notion of “models of computation”

Ptolemy Miniconference, May 9, Actor-Oriented Design Actors with Ports and Attributes Model of Computation: Messaging schema Flow of control Concurrency Examples: Push/Pull Time triggered Process networks Discrete-event systems Dataflow systems Publish & subscribe Key idea: The model of computation is part of the framework within which components are embedded rather than part of the components themselves.

Ptolemy Miniconference, May 9, Receiver Interface These polymorphic methods implement the communication semantics of a domain in Ptolemy II. The receiver instance used in communication is supplied by the director, not by the component.

Ptolemy Miniconference, May 9, Key to Domain Polymorphism: Receiver Object Model

Ptolemy Miniconference, May 9, Behavioral Types – Codification of Domain Semantics Capture the dynamic interaction of components in types Obtain benefits analogous to data typing. Call the result behavioral types. Communication has –data types –behavioral types Components have –data type signatures –domain type signatures Components are –data polymorphic –domain polymorphic

Ptolemy Miniconference, May 9, Behavioral Type System execution interface communication interface A type signature for a consumer actor. We capture patterns of component interaction in a type system framework. We describe interaction types and component behavior using interface automata. We do type checking through automata composition (detect component incompatibilities) Subtyping order is given by the alternating simulation relation, supporting domain polymorphism.

Ptolemy Miniconference, May 9, Software Our contributions: Visual notations –Modal models –Higher-order components Domains as sandboxes Actor-orientation Polymorphism in actor-oriented design Tool integration as a semantics problem Scheduling and code generation methods Influenced many commercial products Effective software engineering in a research context Configurable tool architectures Providing architecture for “models of computation”

Ptolemy Miniconference, May 9, Configurable Tool Architecture actors packaged tool editors directors MATLAB Jython Jacl docs and help files kernel actor package Java libraries configuration (MoML/XML) Ptolemy II configurations enable the construction of specialized tools with customized interfaces and selected portions of the infrastructure.

Ptolemy Miniconference, May 9, HyVisual – Hybrid System Modeling Tool Based on Ptolemy II, Released Jan HyVisual is a targeted tool, designed for hybrid system modeling.

Ptolemy Miniconference, May 9, Code Generation and Component Specialization Giotto codeE code Giotto compiler Java codeC code Java codeComponent Run time system

Ptolemy Miniconference, May 9, Much Else… Hybrid systems semantics CAL actor definition language Real-time semantics CI domain – push/pull Giotto and TM domains Interface definition/checking Units system Expression language semantics Modal models Meta models (IA domain) Image and video processing library Communications library …

Ptolemy Miniconference, May 9, Community Involvement Recent Third Party Software Contributions Many enhancements contributed by RIM: –Transition refinements –Higher-order components –Performance improvements –Expression language improvements –Matlab integration –Emacs integration Enhancements contributed by Agile Design –Undo/Redo –Port positioning –Icon customization Hardware synthesis capability from BYU Distributed optimization package from Spain Graduate class on MoCs at Virginia Tech Ice-cube project: paper on neutrino detection