Presentation is loading. Please wait.

Presentation is loading. Please wait.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University.

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University."— Presentation transcript:

1 Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University

2 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits2 Model-Based Design Model-based design focuses on the formal representation, composition, and manipulation of models during the design process.

3 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits3 Core Modeling Aspects in System Composition Component Behavior Structure Interaction Scheduling/ Resource Mapping Modeled on different levels of abstraction: 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, but precisely defined interactions Research: interface theory (time, resources,..) Mapping/deploying components on platforms: Dynamic Priority Behavior guarantees Research: composition of schedulers

4 Chess Review, Nov. 21, 2005"Model-Based Design Overview", 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 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits5 Intersection with Tool Composition Dimensions Component Behavior Structure Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels and Metaprogrammable Tool Suites Domain-Specific Design Flows and Tool Chains Semantic Units and Semantic Anchoring

6 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits6 Intersection with Tool Composition Dimensions Component Behavior Structure Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels and Metaprogrammable Tool Suites Domain-Specific Design Flows and Tool Chains Semantic Units and Semantic Anchoring

7 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits7 Domain Specific Design Flows and Tool Chains ECSL - Automotive ESML - Avionics SPML - Signal Processing FCS – Networked Embedded Systems CAPE/eLMS – Courseware Design/Delivery Integration among tool frameworks: Metropolis, Ptolemy II, MIC, Simulink/Stateflow, ARIES, CheckMate,… www.escherinstitute.org

8 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits8 Intersection with Tool Composition Dimensions Component Behavior Structure Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels and Metaprogrammable Tool Suites Domain-Specific Design Flows and Tool Chains Semantic Units and Semantic Anchoring

9 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits9 Metaprogrammable Tool Suite GME UDM GReAT Simulators Verifiers Model Checkers Generators Meta Models Generic Model Editor (GME) Open Tool Integration Framework Model Transformation Unified Data Model (UDM) OTIF DESERT Component Abstraction (T A ) Design Space Modeling (M D ) Design Space Encoding (T E ) Design Space Pruning Design Decoding Component Reconstruction Design Space Exploration (DESERT)

10 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits10 Intersection with Tool Composition Dimensions Component Behavior Structure Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels and Metaprogrammable Tool Suites Domain-Specific Design Flows and Tool Chains Semantic Units and Semantic Anchoring

11 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits11 Transformational Specification of Semantics Specify mapping to another language with well- defined semantics. SiSi CiCi AiAi M Ci M Si DSMLi Transformation T M Si : A i  S i DSML i CS A M C MSMS DSML MAMA M S = M Si ○ M A MOF A DSMLi MTL T DSML,DSMLi MOF UMT MOF M i : MOF A DSML  MOF A DSMLi

12 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits12 Semantic Units SiSi CiCi AiAi M Ci M Si DSMLi Transformation T M Si : A i  S i Semantic Unit i CS A M C MSMS DSML MAMA M S = M Si ○ M A MOF A DSMLi MTL T DSML,DSMLi MOF UMT MOF M i : MOF A DSML  MOF A DSMLi Ongoing Work –Capture the behavioral semantics of a finite set of basic models of computations, such as FSM, DE, TA, SDF… –Further exploration of the concept of abstract semantics with Berkeley.

13 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits13 Semantic Anchoring Tool Suite Operational Semantics Spec. Model Trans. Rules (M A ) Transformation Engine 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 Metaprogrammable tools Syntactic manipulations Abstract State Machine (ASM) (Evolving Algebras) AsmL tool suite

14 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits14 Intersection with Tool Composition Dimensions Component Behavior Structure Interaction Resource Modeling (Schedule) Domain-Specific Tools, Tool Chains Metaprogrammable Tools, Environments Semantic Foundation; Compositional Semantics Metamodels and Metaprogrammable Tool Suites Domain-Specific Design Flows and Tool Chains Semantic Units and Semantic Anchoring

15 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits15 DSML Design Through Semantic Anchoring Ongoing Work –Specification of component interaction semantics (MoC-s) –Design of a DSML Specification Environment –Compositional Semantics (with Berkeley and J. Sifakis, Verimag) 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

16 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits16 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 new capabilities: 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 User code libraries Support for automatic connection of multi-ported objects in the modeling tool Integration with new development platform (Microsoft VS 7+) Support for XML namespaces Integration with Java in the data layer (UDM) Support for text output (UDM, using OCL for scripting) Support for structured text input: input is parsed using a declarative parser that constructs the input data structures Progress in Model Transformations: GReAT GReAT Application Examples: Embedded system toolchains (see ESCHER) Large-scale architecture modeling and analysis tool for distributed embedded systems Semantic anchoring framework for domain-specific modeling languages Model-based tools for CORBA component configuration

17 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits17 GPS air data pilot ctrl 20 Hz 1000 Hz 500 Hz pitch yaw throttle 1000 Hz 200 Hz ailerons rudder engine Model Transformation “Program” Time-triggered Model (Giotto) Schedule (E-code) Control system engineers model control problems as periodically triggered sensing, control calculation, and actuation actions, but traditional software implementations rarely comply with these strict requirements. Giotto (as a time-triggered language) and it’s the E-machine (as its execution platform) offers a solution to bridge the gap between design and implementation. A prototype model transformation tool shows how the complex transformation from Giotto to E-code can be implemented in terms of graph transformation operations. Model Transformations for Hard-Real Time Languages: Control System Problem Proof of concept: A full “compiler” formally specified

18 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits18 Model Transformations in Toolchains: Platform Modeling & Analysis Metamodel of Source DSML Metamodel of Target (SYNTAX) DS-PI Model Source Domain Models DS-PS Model Target Model Model Transformation SpecificationPLATFORM GENERATION for EXECUTION Model for Platform -> Analysis Mapping Model of Platform Model in Analysis format Domain models Platform semantics Platform properties for ANALYSIS Analysis Tool: Approach: Analysis must take into consideration platform’s operational semantics, i.e. model of computation. To make this possible, an explicit platform model is required that proscribes how the platform’s concepts are mapped into the concepts of the analysis language. This mapping defines the model transformation needed. Approach: Analysis must take into consideration platform’s operational semantics, i.e. model of computation. To make this possible, an explicit platform model is required that proscribes how the platform’s concepts are mapped into the concepts of the analysis language. This mapping defines the model transformation needed.

19 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits19 Research on Model Transformations: Next steps (Better) formal semantics of GReAT –Goal: Reasoning about transformations –Use: in semantic anchoring Verification/certification of transformations –Proving that the generated output satisfies some interesting properties Traceability –Generated artifacts must be traceable back to their origins Model transformations for model evolution –Model management and engineering in large- scale embedded systems Transformations in mixed-mode development –Model-based components with hand-written code Experimentation with platform modeling and analysis –Event-driven and time-triggered platforms –Multiple analysis tools Transformations “guided” by platform restrictions –Example: resource-constrained platforms may influence the transformation process Using graph transformations for embedded component adaptation (Better) formal semantics of GReAT –Goal: Reasoning about transformations –Use: in semantic anchoring Verification/certification of transformations –Proving that the generated output satisfies some interesting properties Traceability –Generated artifacts must be traceable back to their origins Model transformations for model evolution –Model management and engineering in large- scale embedded systems Transformations in mixed-mode development –Model-based components with hand-written code Experimentation with platform modeling and analysis –Event-driven and time-triggered platforms –Multiple analysis tools Transformations “guided” by platform restrictions –Example: resource-constrained platforms may influence the transformation process Using graph transformations for embedded component adaptation

20 Chess Review, Nov. 21, 2005"Model-Based Design Overview", J. Sztipanovits20 Further Presentations Ethan Jackson: Coupled Interface Modules for Heterogeneous Composition Kai Chen: A Semantic Unit for Timed Automata Based Modeling Languages Tivadar Szemethy: Platform Modeling Trevore Meyerowitz, Ethan Jackson: Integration of Metropolis with GME and DESERT

Download ppt "Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University."

Similar presentations

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva 24.11.02.

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
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.
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
Chess Review November 21, 2005 Berkeley, CA Edited and presented by New results in Platform Modeling Tivadar Szemethy ISIS, Vanderbilt University.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by New results in Platform Modeling Tivadar Szemethy ISIS, Vanderbilt University.
SSP Re-hosting System Development: CLBM Overview and Module Recognition SSP Team Department of ECE Stevens Institute of Technology Presented by Hongbing.

SSP Re-hosting System Development: CLBM Overview and Module Recognition SSP Team Department of ECE Stevens Institute of Technology Presented by Hongbing.
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 November 21, 2005 Berkeley, CA 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.
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.
Adaptable Architecture for Meta- Programmable Modeling Tools Matt Emerson Advisor: Janos Sztipanovits The Core Layer The.

Adaptable Architecture for Meta- Programmable Modeling Tools Matt Emerson Advisor: Janos Sztipanovits The Core Layer The.
Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI NSF Model-Based Design DSML.

Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI NSF Model-Based Design DSML.

Similar presentations

Ads by Google