Edited and presented by Janos Sztipanovits and Gabor Karsai by xvi11400

VIEWS: 9 PAGES: 20

									Model-Based Design Overview


Edited and presented by
Janos Sztipanovits and Gabor Karsai
ISIS, Vanderbilt University




        Chess Review
        November 21, 2005
        Berkeley, CA
                             Model-Based Design




        Model-based design focuses on the formal
               representation, composition, and
               manipulation of models during the design
               process.




"Model-Based Design Overview", J. Sztipanovits   Chess Review, Nov. 21, 2005   2
                               Core Modeling Aspects in
                                 System Composition

                                        Modeled on different levels of abstraction:
                                        •Transition systems (FSM, Time Automata, Cont.
      Component Behavior                  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)
            Structure                   • Hierarchy
                                        • Research: dynamic topology

                                        Describes interaction patterns among components:
                                        • Set of well-defined Models of Computations (MoC)
           Interaction                    (SR, SDF, DE,…)
                                        • Heterogeneous, but precisely defined interactions
                                        • Research: interface theory (time, resources,..)
                                         Mapping/deploying components on platforms:
          Scheduling/                    • Dynamic Priority
       Resource Mapping                  • Behavior guarantees
                                         • Research: composition of schedulers

"Model-Based Design Overview", J. Sztipanovits                      Chess Review, Nov. 21, 2005   3
                Tool Composition Approaches
                                                 Domain-Specific Design Flows and
                                                 Tool Chains:
   Domain-Specific Tools;                        • ECSL - Automotive
   Design Environments                           • ESML - Avionics
                                                 • SPML - Signal Processing
                                                 • CAPE/eLMS


                                                 MIC Metaprogrammable Tool Suite:
                                                 (mature or in maturation program)
      Metaprogrammable                           • Metamodeling languages
      Tools, Integration                         • Modeling Tools
      Frameworks                                 • Model Transformations
                                                 • Model Management
                                                 • Design Space Construction and Exploration
                                                 • Tool Integration Framework

                                                 Semantic Foundations (work in progress):
     Semantic Foundation                         • Semantic Anchoring Environment (SAE)
                                                 • Verification
                                                 • Semantic Integration

"Model-Based Design Overview", J. Sztipanovits                       Chess Review, Nov. 21, 2005   4
                            Intersection with Tool
                            Composition Dimensions
                             Semantic Units and
 Component Behavior
                             Semantic
                             Anchoring


       Structure
                                                     Metamodels and   Domain-Specific
                                                     Metaprogrammable Design Flows and
                             Compositional           Tool Suites      Tool Chains
      Interaction            Semantics



  Resource Modeling
     (Schedule)



                              Semantic Foundation;   Metaprogrammable        Domain-Specific
                                                     Tools, Environments     Tools, Tool Chains
"Model-Based Design Overview", J. Sztipanovits                    Chess Review, Nov. 21, 2005     5
                            Intersection with Tool
                            Composition Dimensions
                             Semantic Units and
 Component Behavior
                             Semantic
                             Anchoring


       Structure
                                                     Metamodels and   Domain-Specific
                                                     Metaprogrammable Design Flows and
                             Compositional           Tool Suites      Tool Chains
      Interaction            Semantics



  Resource Modeling
     (Schedule)



                              Semantic Foundation;   Metaprogrammable        Domain-Specific
                                                     Tools, Environments     Tools, Tool Chains
"Model-Based Design Overview", J. Sztipanovits                    Chess Review, Nov. 21, 2005     6
                           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


"Model-Based Design Overview", J. Sztipanovits   Chess Review, Nov. 21, 2005   7
                            Intersection with Tool
                            Composition Dimensions
                             Semantic Units and
 Component Behavior
                             Semantic
                             Anchoring


       Structure
                                                     Metamodels and   Domain-Specific
                                                     Metaprogrammable Design Flows and
                             Compositional           Tool Suites      Tool Chains
      Interaction            Semantics



  Resource Modeling
     (Schedule)



                              Semantic Foundation;   Metaprogrammable        Domain-Specific
                                                     Tools, Environments     Tools, Tool Chains
"Model-Based Design Overview", J. Sztipanovits                    Chess Review, Nov. 21, 2005     8
                                    Metaprogrammable Tool Suite
                                                    Generic Model Editor (GME)
                                                     GME



                                                                       Unified Data Model (UDM)
   Design Space                                                            UDM
   Exploration (DESERT)
  DESERT                                                                                                                                                       • Simulators
   Component
 Abstraction (TA)
                    Design Space
                    Modeling (MD)
                                    Design Space
                                    Encoding (TE)
                                                           Meta                                                                                                • Verifiers
   Component           Design       Design Space
                                                          Models           OTIF                                                                                • Model Checkers
  Reconstruction      Decoding        Pruning
                                                                               TOOL



                                                                              TOOL
                                                                             ADAPTOR
                                                                                                    TOOL



                                                                                                   TOOL
                                                                                                  ADAPTOR
                                                                                                                         TOOL



                                                                                                                        TOOL
                                                                                                                       ADAPTOR         MANAGER
                                                                                                                                                               • Generators
                                                                                                         BACKPLANE
                                                                             METADATA    REGISTRATION/NOTIFICATION/TRANSFER SERVICES



                                                                                    SEMANTIC                     SEMANTIC              Standard interface/
                                                                                   TRANSLATOR                   TRANSLATOR             Protocol




                                                     GReAT              Open Tool Integration
                                                                        Framework



                                                    Model Transformation

"Model-Based Design Overview", J. Sztipanovits                                                                                                          Chess Review, Nov. 21, 2005   9
                            Intersection with Tool
                            Composition Dimensions
                             Semantic Units and
 Component Behavior
                             Semantic
                             Anchoring


       Structure
                                                     Metamodels and   Domain-Specific
                                                     Metaprogrammable Design Flows and
                             Compositional           Tool Suites      Tool Chains
      Interaction            Semantics



  Resource Modeling
     (Schedule)



                              Semantic Foundation;   Metaprogrammable        Domain-Specific
                                                     Tools, Environments     Tools, Tool Chains
"Model-Based Design Overview", J. Sztipanovits                    Chess Review, Nov. 21, 2005     10
                     Transformational
                     Specification of Semantics

                            DSML                 MS= MSi ○ MA          DSML i

                                                   Transformation
                       S   DSML          C               T
                                                                      Ci    DSMLi       Si
                           MS       MC                                 MCi        MSi    MSi: Ai→Si

                                A                        MA                  Ai


                           MOFADSMLi                MTLTDSML,DSMLi         MOFADSMLi




                                MOF                     UMT                  MOF

                                             Mi: MOFADSML→MOFADSMLi




        • Specify mapping to another language with well-
          defined semantics.

"Model-Based Design Overview", J. Sztipanovits                                          Chess Review, Nov. 21, 2005   11
                                    Semantic Units


                       DSML                 MS= MSi ○ MA         Semantic Unit i

                                              Transformation
                  S   DSML          C               T
                                                                   Ci    DSMLi        Si
                      MS       MC                                    MCi        MSi    MSi: Ai→Si

                           A                        MA                     Ai


                      MOFADSMLi                MTLTDSML,DSMLi           MOFADSMLi




                           MOF                     UMT                     MOF

                                        Mi: MOFADSML→MOFADSMLi




      • 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.
"Model-Based Design Overview", J. Sztipanovits        Chess Review, Nov. 21, 2005                   12
                  Semantic Anchoring Tool Suite

 Metamodeling and Model                                        Formal Framework for Semantic
 Transformation Tools                                          Units Specification
   GME            GReAT Tool                                   Semantic Unit Spec.                 AsmL Tools
   Toolset
                                                                                                       Model
      DSML              Model         Semantic Unit                                 Operational       Checker
                                                                 Abstract
     Metamdoel       Trans. Rules      Metamodel                                    Semantics
                                                                Data Model
        (A)              (MA)             (Ai)                                        Spec.
                                                                                                      Test Case
      Mc                   Generate                                                                   Generator
                                             Instance                 Instance


   Domain Model    Transformation     Domain Model      XSLT                     ASM Semantic          Model
       (C)                                                      Data Model                            Simulator
                       Engine             (Ci)                                    Framework




           • Metaprogrammable tools                            • Abstract State Machine (ASM)
           • Syntactic manipulations                             (Evolving Algebras)
                                                               • AsmL tool suite
"Model-Based Design Overview", J. Sztipanovits                                    Chess Review, Nov. 21, 2005     13
                            Intersection with Tool
                            Composition Dimensions
                             Semantic Units and
 Component Behavior
                             Semantic
                             Anchoring


       Structure
                                                     Metamodels and   Domain-Specific
                                                     Metaprogrammable Design Flows and
                             Compositional           Tool Suites      Tool Chains
      Interaction            Semantics



  Resource Modeling
     (Schedule)



                              Semantic Foundation;   Metaprogrammable        Domain-Specific
                                                     Tools, Environments     Tools, Tool Chains
"Model-Based Design Overview", J. Sztipanovits                    Chess Review, Nov. 21, 2005     14
                   DSML Design Through Semantic
                   Anchoring

                     DSML                     MS= MSi ○ MA             Semantic Unit i

                                                 Transformation
                    S    DSML         C                T
                                                                  Ci     SUi         Si
                        MS       MC                                MCi         MSi    MSi: Ai→Si

                             A                        MA                 Ai


                        MOFADSMLi                 MTLTDSML,SUi         MOFASUi




                          MOF                        UMT                 MOF

                                          Mi: MOFADSML→MOFASUi




• Ongoing Work
     – Specification of component interaction semantics (MoC-s)
     – Design of a DSML Specification Environment
     – Compositional Semantics (with Berkeley and J. Sifakis, Verimag)

"Model-Based Design Overview", J. Sztipanovits                                            Chess Review, Nov. 21, 2005   15
                            Progress in Model
                            Transformations: GReAT
               Global “spaces” for Transformations                            GReAT Application Examples:
    Source Models                                          Target Model       •Embedded system toolchains (see
                                  Global space                                ESCHER)
                                  <<Temps>>                                   •Large-scale architecture modeling and
                                                        DS-PS Model
                                                         DS-PS Model
      DS-PI Model
       DS-PI Model                                                            analysis tool for distributed embedded
                                                                              systems
                                                                              •Semantic anchoring framework for
                                                                              domain-specific modeling languages
                                                                              •Model-based tools for CORBA
                                                                              component configuration
  Global spaces hold intermediate results of the transformation
  Consequence: The transformations are simplified.                          Sorting the transformation results

  Additional new capabilities:                                                                               sort():…
  •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                                          A transformation rule typically operates on a
  •Integration with Java in the data layer (UDM)                       sequence of matched objects that could be sorted
  •Support for text output (UDM, using OCL for scripting)              after the rule is applied.
  •Support for structured text input: input is parsed using a          Consequence: Model transformation results are
  declarative parser that constructs the input data structures         ordered by the sorting function.
"Model-Based Design Overview", J. Sztipanovits                                          Chess Review, Nov. 21, 2005       16
                      Model Transformations for Hard-Real Time
                      Languages: Control System Problem
       GPS         20 Hz                1000 Hz    ailerons
                             pitch
     air data     1000 Hz     yaw       1000 Hz     rudder
                            throttle
     pilot ctrl   500 Hz                 200 Hz     engine


  Time-triggered Model                                          Proof of concept:
                                                       A full “compiler” formally specified
  (Giotto)
                                                  Model Transformation “Program”




    Control system engineers model control problems as
      Control system engineers model control problems as
                                                                                Schedule (E-code)
    periodically triggered sensing, control calculation, and
      periodically triggered sensing, control calculation, and
    actuation actions, but traditional software implementations
      actuation actions, but traditional software implementations
    rarely comply with these strict requirements. Giotto (as aa
      rarely comply with these strict requirements. Giotto (as
    time-triggered language) and it’s the E-machine (as its
      time-triggered language) and it’s the E-machine (as its
    execution platform) offers aa solution to bridge the gap
      execution platform) offers solution to bridge the gap
    between design and implementation. A prototype model
      between design and implementation. A prototype model
    transformation tool shows how the complex
      transformation tool shows how the complex
    transformation from Giotto to E-code can be implemented
      transformation from Giotto to E-code can be implemented
    in terms of graph transformation operations.
      in terms of graph transformation operations.
"Model-Based Design Overview", J. Sztipanovits                                    Chess Review, Nov. 21, 2005   17
                      Model Transformations in Toolchains:
                      Platform Modeling & Analysis
                                            Model for
                                  Platform -> Analysis Mapping
                                                                            Model of Platform

                                                                                                              Analysis Tool:
 Metamodel of Source DSML
                                                                               Model in Analysis format
                                                                              •Domain models
                                Model                                         •Platform semantics
                                Transformation            for ANALYSIS        •Platform properties
                                Specification


                                                                              Metamodel of Target (SYNTAX)
  Source Domain Models



                                                                                         Target Model

                                 GENERATION for EXECUTION
      DS-PI Model
        DS-PI Model
                                                                                    DS-PS Model
                                                                                      DS-PS Model


  Approach:
   Approach:                                                                           PLATFORM
  Analysis must take into consideration platform’s operational
   Analysis must take into consideration platform’s operational
  semantics, i.e. model of computation. To make this possible, an
   semantics, i.e. model of computation. To make this possible, an
  explicit platform model is required that proscribes how the platform’s
   explicit platform model is required that proscribes how the platform’s
  concepts are mapped into the concepts of the analysis language.
   concepts are mapped into the concepts of the analysis language.
  This mapping defines the model transformation needed.
   This mapping defines the model transformation needed.
"Model-Based Design Overview", J. Sztipanovits                                             Chess Review, Nov. 21, 2005   18
                    Research on Model Transformations:
                    Next steps

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

"Model-Based Design Overview", J. Sztipanovits   Chess Review, Nov. 21, 2005   20

								
To top