Chess Review November 21, 2005 Berkeley, CA Edited and presented by Causality Interfaces and Compositional Causality Analysis Rachel Zhou UC Berkeley.

Slides:

Advertisements

Similar presentations

Overview This project applies the tagged-signal model to explain the semantics of piecewise continuous signals. Then it illustrates an operational way.

Advertisements

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

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Interchange Format for Hybrid Systems Alessandro Pinto UC Berkeley.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by New results in Platform Modeling Tivadar Szemethy ISIS, Vanderbilt University.

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.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Causality Interfaces for Actor Networks Ye Zhou and Edward A. Lee University of California,

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

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

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Trading Latency for Composability Slobodan Matic UC Berkeley.

Type System, March 12, Data Types and Behavioral Types Yuhong Xiong Edward A. Lee Department of Electrical Engineering and Computer Sciences University.

Architecture-driven Modeling and Analysis By David Garlan and Bradley Schmerl Presented by Charita Feldman.

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 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.

A denotational framework for comparing models of computation Daniele Gasperini.

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

Using Interfaces to Analyze Compositionality Haiyang Zheng and Rachel Zhou EE290N Class Project Presentation Dec. 10, 2004.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Hybrid Geometric Mechanics: Reduction and Going Beyond Zeno Aaron D. Ames UC Berkeley.

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

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.

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Operational Semantics of Hybrid Systems Haiyang Zheng and Edward A. Lee With contributions.

February 12, 2009 Center for Hybrid and Embedded Software Systems Encapsulated Model Transformation Rule A transformation.

Chess Review May 11, 2005 Berkeley, CA Operational Semantics of Hybrid Systems Haiyang Zheng and Edward A. Lee With contributions from the Ptolemy group.

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

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

A Denotational Semantics For Dataflow with Firing Edward A. Lee Jike Chong Wei Zheng Paper Discussion for.

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.

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.

February 12, 2009 Center for Hybrid and Embedded Software Systems Model Transformation Using ERG Controller Thomas H. Feng.

Chess Review May 11, 2005 Berkeley, CA Discrete-Event Systems: Generalizing Metric Spaces and Fixed-Point Semantics Adam Cataldo Edward Lee Xiaojun Liu.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 PTIDES: A Programming Model for Time- Synchronized Distributed Real-time Systems Yang.

EECE Hybrid and Embedded Systems: Computation T. John Koo, Ph.D. Institute for Software Integrated Systems Department of Electrical Engineering and.

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 The Component Interaction Domain: Modeling Event-Driven and Demand- Driven Applications.

Tool Integration of Ptolemy II EE290N Class Project Haiyang Zheng May

Panel: What Comes After C++ in System-Level Specification Edward Lee UC Berkeley Forum on Design Languages Workshop on System Specification & Design Languages.

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

Department of Electrical Engineering and Computer Sciences University of California at Berkeley The Ptolemy II Framework for Visual Languages Xiaojun Liu.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Coupled Interface Modules for Heterogeneous Composition Ethan Jackson ISIS, Vanderbilt.

Composing Models of Computation in Kepler/Ptolemy II

Paper written by Flavio Oquendo Presented by Ernesto Medina.

An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.

Web Services Flow Language Guoqiang Wang Oct 7, 2002.

The 14 th IEEE Real-Time and Embedded Technology and Applications Symposium, April 2008 Real-Time Distributed Discrete-Event Execution with Fault Tolerance.

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.

Incremental Checkpointing with Application to Distributed Discrete Event Simulation Thomas Huining Feng and Edward A. Lee {tfeng,

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

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

TRUST:Team for Research in Ubiquitous Secure Technologies

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

Code Generation for Ptolemy II

Retargetable Model-Based Code Generation in Ptolemy II

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

Embedded Systems: A Focus on Time

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java

Defining A Formal Semantics For The Rosetta Specification Language

Paper written by Flavio Oquendo Presented by Ernesto Medina

What would be our focus ? Geometry deals with Declarative or “What is” knowledge. Computer Science deals with Imperative or “How to” knowledge 2/23/2019.

Model Transformation with the Ptera Controller

CSP-Style Rendezvous Communication Thomas Feng, Edward Lee, Yang Zhao

Presentation transcript:

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Causality Interfaces and Compositional Causality Analysis Rachel Zhou UC Berkeley

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou2 Actor-Oriented Design Actors are in charge of their own actions. Actors interact with each other by exchanging data through ports. The patterns of interactions between actors are called model of computation. class name data methods call return actor name data (state) ports Input data parameters Output data Object-OrientedActor-Oriented

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou3 Causality Interfaces A special family of behavioral interfaces that capture the causality properties of actors and their connections. Useful for determining constructive semantics of compositions under certain models of computation. –Synchronous Languages –Discrete-Event Models –Synchronous Dataflow

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou4 Causality Interfaces as Functions A function that maps a pair of ports to an element in the dependency set D. –For an actor: –For a connector:

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou5 Dependency set D is an ordered set with two binary operators and. Synchronous Languages –D = {true, false}, false < true. – is logical and, is logical or. Discrete-Event Models –D =, “ < “ as numerical ordering. – is the minimum function, is addition. Dependency Set

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou6 Use operator for serial compositions and operator for parallel compositions. Compositional Analysis

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou7 A constructive behavior exists if there exists no port that has an immediate dependency on itself. Synchronous Languages – Discrete-Event Models – Determining Constructive Semantics

Chess Review, Nov. 21, 2005"Causality Interfaces", Zhou8 Conclusions An interface theory for causality interfaces of actors and their composition. An algebraic procedure to determine whether a composition has a constructive semantics. Applied to synchronous languages and discrete- event models. On-going work: synchronous dataflow, continuous time, rendezvous. Joint work with Prof. Edward A. Lee and Haiyang Zheng