Presentation is loading. Please wait.

Presentation is loading. Please wait.

Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA.

Published byBonnie Lyons Modified over 8 years ago

Similar presentations

Presentation on theme: "Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA."— Presentation transcript:

1 Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA

2 Lee, Berkeley 2 Cyber-Physical Systems (CPS) Where it is going CPS: Orchestrating networked computational resources with physical systems.

3 Lee, Berkeley 3 Cyber Physical Systems: Computational + Physical CPS is Multidisciplinary Computer Science: Carefully abstracts the physical world System Theory: Deals directly with physical quantities

4 Lee, Berkeley 4 Ptolemy Project Research Foundations: Timed computational semantics. Bottom up: Embedded processors (PRET). Top down: Distributed real-time systems (PTIDES). Holistic: Scalable model-based design.

5 Lee, Berkeley 5 Object Oriented vs. Actor Oriented Software Components 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

6 Lee, Berkeley 6 Timed Software Semantics s  S N Causal systems operating on signals are usually naturally (Scott) continuous. concurrent actor- oriented models abstraction fixed-point semantics super-dense time

7 Lee, Berkeley 7 Results Papers: [1]Lee and Matsikoudis, "The Semantics of Dataflow with Firing," in From Semantics to Computer Science: Essays in memory of Gilles Kahn, Cambridge 2009.The Semantics of Dataflow with Firing [2]Ye Zhou and Edward A. Lee. "Causality Interfaces for Actor Networks," ACM Trans. on Embedded Computing Systems, April 2008. [3]Liu and Lee, "CPO Semantics of Timed Interactive Actor Networks,” Theoretical Computer Science 409 (1): pp.110-25, 2008.. [4]Lee, " Application of Partial Orders to Timed Concurrent Systems," article in Partial order techniques for the analysis and synthesis of hybrid and embedded systems, in CDC 07. [5]Lee and Zheng, "Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems," EMSOFT ’07. [6]Liu, Matsikoudis, and Lee. "Modeling Timed Concurrent Systems," CONCUR ’06. [7]Cataldo, Lee, Liu, Matsikoudis and Zheng "A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems," WODES'06 etc.... Software: Ptolemy II realizes a number of timed concurrent models of computation (MoCs) with well- founded rigorous semantics. Ph.D. Theses: [1]Haiyang Zheng, "Operational Semantics of Hybrid Systems," May 18, 2007. [2]Ye Zhou, "Interface Theories for Causality Analysis in Actor Networks," May 15, 2007. [3]Xiaojun Liu, "Semantic Foundation of the Tagged Signal Model," December 20, 2005.

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

9 Lee, Berkeley 9 Ptolemy Project Research Foundations: Timed computational semantics. Bottom up: Embedded processors (PRET). Top down: Distributed real-time systems (PTIDES). Holistic: Scalable model-based design.

10 Lee, Berkeley 10 Bottom Up: Embedded Processors Precision-Timed (PRET) Machines Make temporal behavior as important as logical function. Timing precision with performance: Challenges: Memory hierarchy (scratchpads?) Deep pipelines (interleaving?) ISAs with timing (deadline instructions?) Multicore (dedicated I/O & real-time processors?) Predictable memory management (Metronome?) Languages with timing (discrete events? Giotto?) Predictable concurrency (synchronous languages?) Composable timed components (actor-oriented?) Precision networks (TTA? Time synchronization?) See S. Edwards and E. A. Lee, "The Case for the Precision Timed (PRET) Machine," in the Wild and Crazy Ideas Track of the Design Automation Conference (DAC), June 2007.

11 Lee, Berkeley 11 PRET Project (Berkeley, Columbia) Funding from NSF, Toyota, National Instruments, plus cooperation with Xilinx, Synfora, and Tidorum Staffing: Edward A. Lee (UCB PI) Stephen Edwards (Columbia co-PI) Jan Rabaey (UCB co-PI) John Wawrzynek (UCB co-PI) Christopher Brooks (Technical staff) Hiren Patel (postdoc) Hugo Andrade (NI VIF) Shanna-Shaye Forbes (UCB grad student) Sunjun Kim (Columbia grad student) Ben Lickly (UCB grad student) Isaac Liu (UCB grad student)

12 Lee, Berkeley 12 Ptolemy Project Research Foundations: Timed computational semantics. Bottom up: Embedded processors (PRET). Top down: Distributed real-time systems (PTIDES). Holistic: Scalable model-based design.

13 Lee, Berkeley 13 PTIDES: Programming Temporally Integrated Distributed Embedded Systems Distributed execution under DE semantics, with “model time” and “real time” bound at sensors and actuators. Input time stamps are ≥ real time Output time stamps are ≤ real time

14 Lee, Berkeley 14 PTIDES Project Funding from NSF, Agilent, IBM, Toyota, and the State of California MICRO program, in cooperation with the University of Salzburg, Austria. Staffing: Edward A. Lee (UCB PI) Christopher Brooks (Technical staff) Patricia Derler (Univ. Salzburg grad student) Slobodan Matic (postdoc) Thomas Feng (UCB grad student) Ben Lickly (UCB grad student) Stefan Resmerita (Univ. Salzburg technical staff) Yang Zhao (UCB grad student, Google technical staff) Jia Zou (UCB grad student)

15 Lee, Berkeley 15 Ptolemy Project Research Foundations: Timed computational semantics. Bottom up: Embedded processors (PRET). Top down: Distributed real-time systems (PTIDES). Holistic: Scalable model-based design.

16 Lee, Berkeley 16 Hierarchical Multimodeling Hierarchical compositions of models of computation. Maintaining temporal semantics across MoCs is a main challenge.

17 Lee, Berkeley 17 Multi-View Modeling: Distinct and separate models of the same system are constructed to model different aspects of the system. Functional model in Statecharts Functional model in Ptolemy II Deployment model in Ptolemy II Verification model in SMV Reliability model in Excel This example is a test case for a collaborative project with Lockheed-Martin

18 Lee, Berkeley 18 “Model Engineering” Project Funding from AFRL, Army Research Office, Air Force Research Office, Bosch, Lockheed-Martin, and Thales. Staffing: Edward A. Lee (UCB PI) Christopher Brooks (Technical staff) Chihong (Partrick) Cheng (TU Munich) Thomas Huining Feng (UCB grad student) Jackie Mankit Leung (UCB grad student) Eleftherios Matisikoudis (UCB grad student) Stavros Tripakis (Visiting Research Scientist)

19 Lee, Berkeley 19 Addressing the Design Challenges for Cyber Physical Systems Foundations: Timed computational semantics. Abstract semantics on super-dense time Bottom up: Make timing repeatable. Precision-timed (PRET) machines Top down: Timed, concurrent components. Distributed real-time discrete-events (PTIDES) Holistic: Model engineering. Mulimodeling, ontologies, property system, …

Download ppt "Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA."

Similar presentations

Leveraging Synchronized Clocks in Distributed Applications Edward A. Lee Robert S. Pepper Distinguished Professor UC Berkeley Swarm Lab Retreat January.

Leveraging Synchronized Clocks in Distributed Applications Edward A. Lee Robert S. Pepper Distinguished Professor UC Berkeley Swarm Lab Retreat January.
February 21, 2008 Center for Hybrid and Embedded Software Systems Cyber-Physical Systems (CPS): Orchestrating networked.

February 21, 2008 Center for Hybrid and Embedded Software Systems Cyber-Physical Systems (CPS): Orchestrating networked.
Discrete Event Models: Getting the Semantics Right Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley With thanks to Xioajun.

Discrete Event Models: Getting the Semantics Right Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley With thanks to Xioajun.
Overview of PTIDES Project

Overview of PTIDES Project
PTIDES: Programming Temporally Integrated Distributed Embedded Systems Yang Zhao, EECS, UC Berkeley Edward A. Lee, EECS, UC Berkeley Jie Liu, Microsoft.

PTIDES: Programming Temporally Integrated Distributed Embedded Systems Yang Zhao, EECS, UC Berkeley Edward A. Lee, EECS, UC Berkeley Jie Liu, Microsoft.
Process-Based Software Components for Networked Embedded Systems Edward A. Lee, PI UC Berkeley Core Technical Team (Mobies, SEC, and GSRC): Christopher.

Process-Based Software Components for Networked Embedded Systems Edward A. Lee, PI UC Berkeley Core Technical Team (Mobies, SEC, and GSRC): Christopher.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Causality Interfaces for Actor Networks Ye Zhou and Edward A. Lee University of California,

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Causality Interfaces for Actor Networks Ye Zhou and Edward A. Lee University of California,
Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.

Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.

February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
Type System, March 12, 2002 - 1 Data Types and Behavioral Types Yuhong Xiong Edward A. Lee Department of Electrical Engineering and Computer Sciences University.

Type System, March 12, Data Types and Behavioral Types Yuhong Xiong Edward A. Lee Department of Electrical Engineering and Computer Sciences University.
IEEE International Symposium on Distributed Simulation and Real-Time Applications October 27, 2008 Vancouver, British Columbia, Canada Presented by An.

IEEE International Symposium on Distributed Simulation and Real-Time Applications October 27, 2008 Vancouver, British Columbia, Canada Presented by An.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Leveraging Synchronous Language Principles for Hybrid System Models Haiyang Zheng and.

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.

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.

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.

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Future Directions Edward A. Lee.
6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Some Developments in the Tagged Signal Model Xiaojun Liu With J. Adam Cataldo, Edward A.

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Some Developments in the Tagged Signal Model Xiaojun Liu With J. Adam Cataldo, Edward A.
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.

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.
February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design.

February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design.
April 16, 2009 Center for Hybrid and Embedded Software Systems PtidyOS: An Operating System based on the PTIDES Programming.

April 16, 2009 Center for Hybrid and Embedded Software Systems PtidyOS: An Operating System based on the PTIDES Programming.
Causality Interface  Declares the dependency that output events have on input events.  D is an ordered set associated with the min ( ) and plus ( ) operators.

Causality Interface  Declares the dependency that output events have on input events.  D is an ordered set associated with the min ( ) and plus ( ) operators.

Similar presentations

Ads by Google