Presentation is loading. Please wait.

Presentation is loading. Please wait.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley."— Presentation transcript:

1 Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley

2 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee2 Thrust III:Advanced Tool Architectures Syntax and Synthesis –Semantic Composition –Visual Concrete Syntaxes –Modal Models Interface Theories Virtual Machine Architectures Components for Embedded Systems

3 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee3 A Unifying Theme: Actor-Oriented Software Components Actor oriented: 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-oriented: Things happen to objects Actors make things happen

4 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee4 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) …

5 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee5 Major Advances in the Last Year Operational Semantics for Hybrid Systems Executable Stochastic Hybrid Systems Executing Beyond Zeno Composable Schedulability Analysis Improved Model Transformation Tools Interface Theories (for real time, causality, & refinement) Software releases: –GME –GReAT –HyVisual (Hybrid systems modeling) –Metropolis –Ptolemy II –UDM –Visualsense (Sensor network modeling) –Viptos (TinyOS + Visualsense)

6 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee6 Operational Semantics for Hybrid Systems Provides predictably executable models with rigorous handling of discontinuities and simultaneous events [Lee, Zheng] HyVisual tool provides a modeling and simulation environment for hybrid systems.

7 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee7 Executable Stochastic Hybrid Systems Monte-Carlo models of stochastic hybrid systems are now supported by HyVisual.

8 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee8 Executing Beyond Zeno Ball on Sinusoidal Surface Pendulum on a CartSpherical Pendulum on the Ground h C ( µ ; x ) = cos ( µ ) h B ( x 1 ; x 2 ; x 3 ) = x 3 ¡ cos ( x 2 ) h P ( µ ; ' ) = cos ( µ ) Provides systematic completion of models beyond Zeno point [Ames, Gregg, Lee, Sastry, Zheng].

9 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee9 Composable Real-Time Schedulability Simulink and Giotto both yield periodic real-time scheduling with deterministic results. Giotto yields higher latency, but better compositionality. See poster presentation by Slobodan Matic. Giotto puts sample delays on every inter-component connection, resulting in higher latency, but better compositionality. Simulink with Real-Time Workshop puts sample delays only on fast to slow inter-component connections, resulting in lower latency, but less compositionality.

10 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee10 Global “spaces” for Transformations Global spaces hold intermediate results of the transformation Consequence: The transformations are simplified. DS-PI Model Source Models DS-PS Model Target Model Global space > Sorting the transformation results A transformation rule typically operates on a sequence of matched objects that could be sorted after the rule is applied. Consequence: Model transformation results are ordered by the sorting function. sort():… Additional language features: Distinguished cross-product: a new built-in operator of the language that refines pattern matching semantics Match-any associations: “wild-card” pattern matching construct for matching arbitrary associations Support for automatic connection of multi-ported objects in the modeling tool Model Transformation Tool features: User code libraries Integration with new development platform (Microsoft VS 7+) Support for XML namespaces Integration with Java Support for structured text input and output with declarative specification of the syntax Model Transformation Tools The Graph Rewrite And Transformation (GReAT) tool suite, Vanderbilt.

11 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee11 Interface Theories Representing Behavior in Interfaces: Interaction semantics [Talcott, 1996] Tagged signal model [Lee, Sangiovanni-Vincentelli, 1997] Interface theories [de Alfaro, Henzinger, 2001] –E.g. Resource Interfaces [Chakrabarti, de Alfaro, Henzinger, 2003] Behavioral subtyping [Liskov, Wing, 1999] Behavioral type systems [Lee, Xiong, 2004] Agent Algebras [Passerone, Sangiovanni-Vincentelli, 2004] Abstract behavioral types [Arbab, 2005]

12 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee12 Major Current Efforts in Chess Algebraic interface theories for: Real-time –[Matic, Henzinger] Causality –[Lee, Zheng, Zhou] Refinement –[Passerone, Sangiovanni-Vincetelli]

13 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee13 Interface Algebra for Real Time [Matic, Henzinger] Assumption arrival rate function capacity function Guarantee latency incremental design independent refinement (F 1 k F 2 k F 3 )({1,2},3) composition operation + refinement relation

14 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee14 Interface Algebra for Refinement [Passerone, Sangiovanni-Vincentelli] Refinement in a model expressed as a relation ≤ of agent substitutability Yields a theory of compatibility Under certain necessary and sufficient conditions a model can be shown to have “mirrors” –A complement of an agent which is maximal relative to the compatibility relation Mirror operator used to link the notion of compatibility, refinement and composition –p ≤ p’ iff p || mirror( p’ )  G –p  compat p’ iff p ≤ mirror( p’ ) Mirrors used to solve the synthesis of the maximally compatible component in a context C under a specification S –p ≤ mirror( C || mirror( S ) ) Result is called an agent algebra.

15 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee15 Interface Algebra for Causality [Lee, Zheng, Zhou] With careful definition of the model of computation, actor-oriented models can have well-founded semantics. That is, any syntactically-correct model has a unique and well-defined meaning. However, that meaning may not be useful. The model may suffer from: Causality loops Deadlock Algebraic loops Collectively, these are all causality problems, and can be unified under a theory of causality interfaces.

16 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee16 Actor-Oriented Component Composition Cascade connections Parallel connections Feedback connections If actors are functions on signals, then the nontrivial part of this is feedback. Some of the Possible Models of Computation: Time-Triggered Discrete Events Dataflow Rendezvous Synchronous/Reactive Continuous Time …

17 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee17 All Actor Compositions are Feedback Compositions Any composition of functional actors can be reduced to a feedback composition of a single functional actor.

18 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee18 Feedback Form: Fixed-Point Semantics For functional actors, semantics is a fixed point. Unique least fixed point exists if actors are monotonic functions on a CPO (process networks, dataflow, synchronous/reactive) Unique fixed point exists if actors are contraction maps on a metric space (discrete events). s Signal s satisfies F(s) = s This is called a fixed-point of the function F.

19 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee19 But Existence of a Fixed Point Doesn’t Ensure a Useful Behavior! To get a useful behavior we need: 1.That the fixed point s can be found constructively (constructive semantics) 2.That the fixed point s not define signals to be unknown (causality loops) 3.That the fixed point s not define empty signals, or, sometimes, finite signals (deadlock). s

20 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee20 Example: Fixed Point is Not Constructive In a synchronous language, the program at the right has a unique non-empty behavior, but that behavior cannot be found constructively by repeatedly application of monotonic functions.

21 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee21 Example: Causality Loops In a synchronous language, the programs at the right do not have unique non-empty behaviors. This defect is called a causality loop.

22 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee22 Example: Deadlock In a process networks and dataflow models, programs may exhibit deadlock, where behavior is empty or finite. Deadlock in such programs is, in general, undecidable.

23 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee23 Causality Interfaces Causality interfaces provide the analytical toolkit that identifies these defects when they can be identified (i.e. when they are decidable): Causality loops in synchronous programs; Delay-free cycles in discrete-event models; Deadlock in dataflow models. The same algebraic structure works for all of these.

24 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee24 Causality Interfaces An algebra of interfaces provides operators for cascade and parallel composition and necessary and sufficient conditions for causality loops, zero-delay loops, and deadlock. See poster presentation by Rachel Zhou

25 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee25 Software Releases

26 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee26 The Hyper toolbox (in development) Making sense of Multiple Tools Consider Interchange Format Philosophy: –For all models which could be built in Tool 1 or Tool 2 (i.e., as defined by A 1 ) there must exist a translator to/from an Interchange Format Alternative philosophy: –For a model, m, built in Tool 1 or Tool 2, this model may be translated to the other tool if the semantics used by m are an intersecting subset of the semantics S 1 ∩ S 2. Tool 1 = C = Concrete Syntax, A = Abstract Syntax, S = Semantics M s = Semantic Mapping, M c = Concrete Syntax Mapping

27 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee27 The Hyper toolbox (in development) Examine semantics used by a model to determine compatibility This provides several potential uses –Produce Tool 1 ∩ 2 after user request for models compatible across Tool 1, Tool 2 –Check to see if model m 3, produced in Tool 1 ∩ 3 is compatible with Tool 2 –Produce Tool simulate ∩ verify when capability is more important than specific semantics Implementation strategy –Strong typing, metamodeling of type structures –Previous Chess work in operational semantics and Interchange Formats

28 Chess Review, Nov. 21, 2005"Advanced Tool Architectures", E.A. Lee28 Major Ongoing Efforts Abstract Semantics Interface Theories Scalability in Actor-Oriented Design Model Transformations and Code Generation Hybrid Systems Tool Interaction (Hyper) Software Tools –GReAT –HyVisual –Visualsense –Viptos Meta frameworks –GME –Metropolis –Ptolemy II –UDM

Download ppt "Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley."

Similar presentations

Topic 2: Balance between formal and informal methods, engineering and artistry, evolution and rebuild Edward A. Lee Professor UC Berkeley Center for Hybrid.

Topic 2: Balance between formal and informal methods, engineering and artistry, evolution and rebuild Edward A. Lee Professor UC Berkeley Center for Hybrid.
Overview This project applies the tagged-signal model to explain the semantics of piecewise continuous signals. Then it illustrates an operational way.

Overview This project applies the tagged-signal model to explain the semantics of piecewise continuous signals. Then it illustrates an operational way.
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.
ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001) Jun 22-23, 2001, Snowbird, Utah, USA Embedded Software from.

ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001) Jun 22-23, 2001, Snowbird, Utah, USA Embedded Software from.
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.
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,
SRC ETAB Summer Study Colorado Springs, June 25-26, 2001 Model-Based Approaches to Embedded Software Design Edward A. Lee UC Berkeley & GSRC.

SRC ETAB Summer Study Colorado Springs, June 25-26, 2001 Model-Based Approaches to Embedded Software Design Edward A. Lee UC Berkeley & GSRC.
Chess Review May 8, 2003 Berkeley, CA Classes and Inheritance in Actor- Oriented Models Stephen Neuendorffer Edward Lee UC Berkeley.

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

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.

Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Trading Latency for Composability Slobodan Matic UC Berkeley.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Trading Latency for Composability Slobodan Matic UC Berkeley.
Chess Review May 11, 2005 Berkeley, CA Advances In MIC Tools for Networked Embedded Systems Applications Edited and Presented by Janos Sztipanovits ISIS,

Chess Review May 11, 2005 Berkeley, CA Advances In MIC Tools for Networked Embedded Systems Applications Edited and Presented by Janos Sztipanovits ISIS,
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.
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.

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

Similar presentations

Ads by Google