Presentation is loading. Please wait.

Presentation is loading. Please wait.

Chess Review October 4, 2006 Alexandria, VA Edited and presented by Model-Based Design Janos Sztipanovits Vanderbilt University.

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Chess Review October 4, 2006 Alexandria, VA Edited and presented by Model-Based Design Janos Sztipanovits Vanderbilt University."— Presentation transcript:

1 Chess Review October 4, 2006 Alexandria, VA Edited and presented by Model-Based Design Janos Sztipanovits Vanderbilt University

2 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits2 Model-Based Design Model-based design focuses on the formal representation, composition, and manipulation of models during the design process.

3 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits3 System Composition Approaches Component Behavior Interaction Scheduling/ Resource Mapping Modeled on different levels of abstraction: Generalized transition systems (FSM, Time Automata, Cont. Dynamics, Hybrid), fundamental role of time models Precise relationship among abstraction levels Research: dynamic/adaptive behavior Expressed as a system topology : Module Interconnection (Nodes, Ports, Connections) Hierarchy Research: dynamic topology Describes interaction patterns among components: Set of well-defined Models of Computations (MoC) (SR, SDF, DE,…) Heterogeneous, precisely defined interactions Research: interface theory (time, resources,..) Mapping/deploying components on platforms: Dynamic Priority Behavior guarantees Research: composition of schedulers

4 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits4 Tool Composition Approaches Domain-Specific Design Flows and Tool Chains: ECSL - Automotive ESML - Avionics SPML - Signal Processing CAPE/eLMS MIC Metaprogrammable Tool Suite: (mature or in maturation program) Metamodeling languages Modeling Tools Model Transformations Model Management Design Space Construction and Exploration Tool Integration Framework Semantic Foundations (work in progress): Semantic Anchoring Environment (SAE) Verification Semantic Integration Domain-Specific Tools; Design Environments Metaprogrammable Tools, Integration Frameworks Semantic Foundation

5 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits5 Intersection of System and Tool Composition Dimensions Component Behavior Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels, Metamodel Composition & Metaprogrammable Tool Chain Composition Model Composition in Domain-Specific Design Flows Semantic Units and Semantic Anchoring

6 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits6 Domain Specific Design Flows and Tool Chains Integration of tools into tool chains –ECSL – Control –ESML - Avionics –SPP - Signal Processing –FCS – Networked Embedded Systems –SCA – Software Defined Radio Integration among tool frameworks: Metropolis, Ptolemy II, MIC, Simulink/Stateflow, ARIES, CheckMate,… www.escherinstitute.org

7 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits7 Intersection of System and Tool Composition Dimensions Component Behavior Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels, Metamodel Composition & Metaprogrammable Tool Chain Composition Model Composition in Domain-Specific Design Flows Semantic Units and Semantic Anchoring

8 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits8 Semantic Domain: Set-Valued Domain models Interchange Formats Abstract Syntax Meta-models MCMC MSMS interface Event structure ModelEvent implements Event case ModelEvent1 Structural Semantics Modeling & Metamodeling Model Data Management Model Transformation Tool Integration Design-Space Exploration Syntactic Layer

9 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits9 Common Semantic Domain: Hybrid Automata Domain Models and Tool Interchange Formats: Tool Chains DESERT AIRES OSEK/ Code ECSL-DP GME Simulink Stateflow SL/SF  ECSL-DP  MOML ECSL-DP  AIF SL/SF  DSE EDP  C Vehicle Control Platform (VCP) Abstract Syntax and Transformations: Meta-Models SL/SF Meta-Model ECSL-DP Meta-Model AIRES Meta-Model CANOE DESERT Meta-Model SFC Meta-Model ECSL-DP  SFC SL/SF  ECSL-DP  MOML ECSL-DP  AIF SL/SF  DESERT Metamodeling View of a Tool Chain

10 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits10 Simulink/StateFlow (DSML SL/SF ) Component Model SW Architecture Model (DSML SL/SF,CM ) SL/SF Functional blocks – SW Component Mapping Objective: Optimize the SW architecture by selecting a component model and by allocating functions to components. Platform: Heterogeneous Dataflow Component Model Tools: GME, GReAT, C Compiler, WCET Analyzer CM Need for Metamodel Composition:

11 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits11 Goal: Composing modeling languages (not models) Metamodel composition methods in the Generic Modeling Environment (GME): –Class Merge –Metamodel Interfacing –Class Refinement –Template Instantiation –Metamodel Transformations Solutions for Compositional Metamodeling

12 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits12 Metamodel Interfacing Class Merge Class Refinement Metamodel Composition Methods

13 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits13 Complex model transformations can be formally specified in the form of executable graph transformation rules G/T semantics is very powerful but the implementation needs to be tailored for efficiency GReAT is an open source, metamodel-based model transformation language supported by tools: modeling tool, rewriting engine, code generator and debugger. It is based on attributed/typed graph matching, multi- domain rewriting rules, and explicitly sequenced rewriting operators. Highlights of GReAT extensions: shared spaces, sorting of match results, cross- products of matches, higher-order operators (groups) Applications of GReAT: Simulink/Stateflow verifying code generator Several model transformation tools in embedded system toolchains Semantic anchoring of domain-specific modeling languages Concept: Metamodel-based Transformations Language: Graph Transforms Toolsuite: GReAT Summary of Progress in Model Transformations (Karsai et al, 2005-2006)

14 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits14 Model Transformations for Schedule Generation: Implicit Platform Modeling for Analysis: Explicit Platform Modeling Language: Major Applications of Model Transformations (Karsai et al, 2005-2006)

15 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits15 Structural Semantics of Models and Metamodels We followed a formal logic approach to structural semantics. A metamodel is mapped to a set of n-ary function symbols and constraints over an associated Herbrand Universe. These are the function symbols and some constraints for the example metamodel We use an inference procedure to prove well-formedness or mal- formedness. This inference mechanism is well-defined an tool independent. We have constructed an automatic theorem prover that answers questions about structural semantics (see poster). (Jackson, Sztipanovits 2006)

16 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits16 Intersection of System and Tool Composition Dimensions Component Behavior Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels, Metamodel Composition & Metaprogrammable Tool Chain Composition Model Composition in Domain-Specific Design Flows Semantic Units and Semantic Anchoring

17 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits17 Step 1 –Specify the DSML by using MOF-based metamodels. Step 2 –Select appropriate semantic units L = for the behavioral aspects of the DSML. Step 3 –Specify the semantic anchoring M A = A -> A i by using UMT. MAMA SiSi CiCi AiAi M Ci M Si SUi CS A M C MSMS DSML MOF A DSMLiMOF A SUiMTL T DSML,SUi MOF UMT MOF M i : MOF A DSML  MOF A SUi Transformation T M Si : A i  S i M S = M Si ○ M A Semantic Unit i DSML Semantic Anchoring of DSML-s (Chen and Sztipanovits, 2005-2006)

18 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits18 Operational Semantics Spec. Model Trans. Rules (M A ) DSML Metamdoel (A) GME Toolset GReAT Tool Mc Instance Generate Domain Model (C) Semantic Unit Metamodel (A i ) Model Checker Model Simulator Test Case Generator AsmL Tools Semantic Unit Spec. Data Model Instance XSLT ASM Semantic Framework Metamodeling and Model Transformation Tools Formal Framework for Semantic Units Specification Domain Model (C i ) Abstract Data Model Metamodeling and Model Transformation Tools –GME: Provide a MOF-based metamodeling and modeling environment. –GReAT: Build on GME for metamodel to metamodel transformation. Tools for Semantic Unit Specification –ASM: A particular kind of mathematical machine, like the Turing machine. (Yuri Gurevich) –AsmL: A formal specification language based on ASM. (Microsoft Research) Transformation Engine Experimental Tool Suite for Semantic Anchoring

19 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits19 Operational Semantics Spec. Model Trans. Rules (M A ) Transformation Engine HFSML Metamodel (A) GME Toolset GReAT Tool Mc Instance Generate Domain Model (C) FSM Metamodel (A i ) FSM-SU Specification Data Model Instance XSLT ASM Semantic Framework FSM Model (C i ) Abstract Data Model Example: HFSML -> FSM-SU; 1/3

20 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits20 Operational Semantics Spec. Model Trans. Rules (M A ) Transformation Engine HFSML Metamodel (A) GME Toolset GReAT Tool Mc Instance Generate Domain Model (C) FSM Metamodel (A i ) FSM-SU Specification Data Model Instance XSLT ASM Semantic Framework FSM Model (C i ) Abstract Data Model Example: HFSML -> FSM-SU; 2/3

21 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits21 Operational Semantics Spec. Model Trans. Rules (M A ) Transformation Engine HFSML Metamodel (A) GME Toolset GReAT Tool Mc Instance Generate Domain Model (C) FSM Metamodel (A i ) FSM-SU Specification Data Model Instance XSLT ASM Semantic Framework FSM Model (C i ) Abstract Data Model Example: HFSML -> FSM-SU; 3/3

22 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits22 Intersection of System and Tool Composition Dimensions Component Behavior Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels, Metamodel Composition & Metaprogrammable Tool Chain Composition Model Composition in Domain-Specific Design Flows Semantic Units and Semantic Anchoring

23 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits23 Component-based Analysis Incremental design –Associative composition Independent implementability –No global checks F1k ( F2k F3)F1k ( F2k F3) (F 1 k F 3 ) k F 2 ? = º (F 1 k F 3 k F 3’ ) k (F 2 k F 2’ ) (Matic and Henzinger, 2006)

24 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits24 Real-time Interface requests bounded by a capacity larger than c Assumption Guarantee output latency bounded by d Output rate function i d i d (t) = i(t+d) Interface predicate input output (Matic and Henzinger, 2006)

25 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits25 Interface Algebra Composition operation || Connection operation + Refinement relation · F’ refines F if –S F µ S F‘ –for each port valuation of F there exists a valuation of F’ : k = F 1 k F 2 F1F1 F2F2 c 1 +c 2 · 1 F + S F S + {  1  2 } i 1 +i 12 · a 1 i 2 +i d1 12 · a 2 (Matic and Henzinger, 2006)

26 ITR Review, Oct. 4, 2006"Model Based Design", J. Sztipanovits26 Algebra Properties  Incremental design –(F k G) k H is defined ) F k (G k H) is def. Æ (F k G) k H = F k (G k H) –(F k G) © S is defined ) (F © S) k G is def. Æ (F k G) © S = (F © S) k G  Independent refinement –F k G is defined Æ F’ F ) F ’ k G is def. Æ F ’ k G F k G –F © S is defined Æ F’ F ) F ’ © S is def. Æ F ’ © S F © S for all j=1,…,n: F’ j F j E(F’ 1,…,F’ n ) E(F 1,…,F n ) ¹ ¹ ¹ ¹ ¹ ¹ (Matic and Henzinger, 2006)

Download ppt "Chess Review October 4, 2006 Alexandria, VA Edited and presented by Model-Based Design Janos Sztipanovits Vanderbilt University."

Similar presentations

Architecture Representation

Architecture Representation
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata using Graph Transformations A. Agarwal, Gy. Simon, G. Karsai ISIS, Vanderbilt University.

Semantic Translation of Simulink/Stateflow Models to Hybrid Automata using Graph Transformations A. Agarwal, Gy. Simon, G. Karsai ISIS, Vanderbilt University.
Presented by: Thabet Kacem Spring 2010. Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.

Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.

Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed

Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed
Systems Engineering for Automating V&V of Dependable Systems John S. Baras Institute for Systems Research University of Maryland College Park 301-405-6606.

Systems Engineering for Automating V&V of Dependable Systems John S. Baras Institute for Systems Research University of Maryland College Park
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.

Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern 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.
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.
Architecture-driven Modeling and Analysis By David Garlan and Bradley Schmerl Presented by Charita Feldman.

Architecture-driven Modeling and Analysis By David Garlan and Bradley Schmerl Presented by Charita Feldman.
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.

Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.
Chess Review May 11, 2005 Berkeley, CA Composable Code Generation for Distributed Giotto Tom Henzinger Christoph Kirsch Slobodan Matic.

Chess Review May 11, 2005 Berkeley, CA Composable Code Generation for Distributed Giotto Tom Henzinger Christoph Kirsch Slobodan Matic.
Chess Review May 10, 2004 Berkeley, CA Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos.

Chess Review May 10, 2004 Berkeley, CA Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by A Semantic Unit for Timed Automata Based Modeling Languages Kai Chen ISIS, Vanderbilt.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by A Semantic Unit for Timed Automata Based Modeling Languages Kai Chen ISIS, Vanderbilt.
Institute For Software Integrated Systems Vanderbilt University Applications of Model Integrated Computing to The Synchronous Language Signal Ethan Jackson.

Institute For Software Integrated Systems Vanderbilt University Applications of Model Integrated Computing to The Synchronous Language Signal Ethan Jackson.
February 23, 2012 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, EECS Thomas.

February 23, 2012 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, EECS Thomas.
UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI CHESS Review May 10, 2004 Berkeley, CA Model-Based Design Edited by Janos Sztipanovits,

UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI CHESS Review May 10, 2004 Berkeley, CA Model-Based Design Edited by Janos Sztipanovits,
Review of “Embedded Software” by E.A. Lee Katherine Barrow Vladimir Jakobac.

Review of “Embedded Software” by E.A. Lee Katherine Barrow Vladimir Jakobac.
Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems - Project Overview - Janos Sztipanovits ISIS-Vanderbilt.

Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems - Project Overview - Janos Sztipanovits ISIS-Vanderbilt.

Similar presentations

Ads by Google