Model Integrated Design of Embedded MPSoC July 6, 2004 MPSOC04 - - PowerPoint PPT Presentation

▶
model integrated design of embedded mpsoc
SMART_READER_LITE
LIVE PREVIEW

Model Integrated Design of Embedded MPSoC July 6, 2004 MPSOC04 - - PowerPoint PPT Presentation

Feb 21, 2024 19 likes •193 views

Model Integrated Design of Embedded MPSoC July 6, 2004 MPSOC04 Dr. Janos Sztipanovits Institute for Software Integrated Systems (ISIS) Vanderbilt University Overview MDA An emerging paradigm for software development

slide-1
SLIDE 1
  • Dr. Janos Sztipanovits

Institute for Software Integrated Systems (ISIS) Vanderbilt University

Model Integrated Design

  • f Embedded MPSoC

July 6, 2004 MPSOC’04

slide-2
SLIDE 2

2

Janos Sztipanovits

Overview

MDA

– An emerging paradigm for software development

Domain-Specific MDA: MIC

– From DSL-s to DSML-s – The role of transformations

Example Challenges and opportunities

– Tool Integration – Semantic Foundation

Conclusions

slide-3
SLIDE 3

3

Janos Sztipanovits

Model-Driven Architecture

A Paradigm for Software Development

History:

  • OMA (CORBA) → UML → MDA:

–Object composition –Models for software –Models in development Key points:

  • 1. Models are not accidental but

essential to system development

  • 2. Models are expressed in

modeling languages

  • 3. Models are built, analyzed and

transformed during development that lead to executables Models System

Transform

Source: Jean Bézivin : "From Object Composition to Model Transformation with the MDA" TOOLS USA, August 2001, Santa Barbara

slide-4
SLIDE 4

4

Janos Sztipanovits

Model-Driven Architecture

The Role of Modeling Languages

Development process:

  • Platform Independent Model:

– UML – extension with UML profiles or metamodeling

  • Platform Specific Model:

– UML – extension with UML profiles or metamodeling Key points:

  • 1. 4-layer metamodeling architecture
  • 2. MOF is the metalanguage
  • 3. Not specific to CORBA

Meta-Modeling

Meta-Models Domain Models

Domain-Specific Modeling

a sentence of a sentence of represents

Application System

represents metamodel of

Language (DSML) Language:

4-Layer Meta-Model Language Architecture:

MOF UML, ESML..

slide-5
SLIDE 5

5

Janos Sztipanovits

Model-Driven Architecture

The Role of Transformations

Development process:

  • Platform Independent Model: a

view of the system from a platform independent viewpoint

  • Platform Specific Model: a view of

the system from a platform-specific viewpoint Key points: 1.Most relevant issue: platform- independence (CORBA/EJB/.NET) 2.Additional (P/S) information is used to map PIM into a PSM 3.Transformations are models Models System

Transform

Source: MDA Guide V 1.0.1 (www.omg.org)

slide-6
SLIDE 6

6

Janos Sztipanovits

Model-Driven Architecture

Model Transformation Variants

Source: MDA Guide V 1.0.1 (www.omg.org)

Marking: Metamodel-based: Type-based: Pattern-based: Model merge:

slide-7
SLIDE 7

7

Janos Sztipanovits

Model-Integrated Computing:

Domain-Specific MDA

Development starts with domain engineering Understand and capture domain concepts and invariants Develop Domain-Specific Modeling Language(s) (DSML) that capture

  • Domain concepts and relationships
  • Domain invariants as well formedness rules

Systems are constructed from domain-specific models Analysis and generation are core activities Domain-Specific Tool Suites play a key role in the development process

  • Modeling environment(s) for DSML-s
  • Model transformation tools
  • Model analysis tools
  • Model-based generators
slide-8
SLIDE 8

8

Janos Sztipanovits

MIC Components

Tool Integration Metamodeling Analysis Execution Metamodels Domain models Translation Synthesis & Generation Model-Model Transformations Domain-specific modeling

slide-9
SLIDE 9

9

Janos Sztipanovits

MIC Approach to Metamodeling

DSML for Signal Processing: SF Metamodel for SF: Describes the structure of a design Specifies the invariants in all designs (Domain architecture)

slide-10
SLIDE 10

10

Janos Sztipanovits

The Role of Metamodeling in MIC

DSML-s are affordable only if tools are still reusable. “Meta-programmable” tools:

1.Model repositories 2.(Visual) modeling environments 3.Model transformation tools Common underlying theme: Tools are configured through metamodels Tools are configured through metamodels

Abstract syntax of source and target Model transformation process Model transformation Abstract and concrete syntax of DSML Static semantics Modeling editor Schema, consistency/integrity rules Model repository Metamodel Metaprogrammable Tool

slide-11
SLIDE 11

11

Janos Sztipanovits

MIC Approach to Model Transformations

Rewrite Engine

Input Models Target Models Physical interface Physical interface

Input abstract syntax Output abstract syntax

Input Interface Output Interface

A PI A PI

UDM UDM GRE GRE Metamodel of Input DSML Metamodel of Output DSML Metamodel of Transformation Meta-level: Translator design Implementation: Execution

Formal, explicit, and precise model of the transformations

slide-12
SLIDE 12

12

Janos Sztipanovits

Model Transformation Tool Chain

MetaModel of Source Source Models Meta-Programmable Modeling Tool MetaModel of Target MetaModel of Domain-to-Target Mapping Meta-Programmable Transformation Tool Code Generator (Generated) Transformation Tool Debugger Target/Executable Models Target Platform

Meta-models Meta- programmable tools Models and applications Generated tool uses uses describes describes configures creates configures generates

GME GRE DEBUG C/G Tools: UMT Language, GRE (engine), C/G, GR-DEBUG Tools: UMT Language, GRE (engine), C/G, GR-DEBUG http://www.isis.vanderbilt.edu

See Karsai

slide-13
SLIDE 13

13

Janos Sztipanovits

Requirement Analysis

Functional Design SW Componentization Behavior Implementation HW Architecture Design ECU Design Firmware Implementation Component Mapping Communication Mapping Software Code Generation Firmware Code Generation ECU Integration System Code Gen./Int.

Hardware Design Software Design

Mapping

Code Generation

Example: Simplified Automotive Design Flow

slide-14
SLIDE 14

14

Janos Sztipanovits

Opportunities: Composable Tool Chains

Modeling Controller Synthesis System Analysis Code Synthesis Validation Verification Target Analysis Platform Simulink Stateflow ECSL/GME Ptolemy Matlab Simulator Checkmate SAL Teja UP Reach Charon R-T Workshop ECSL/GME Ptolemy Checkmate Charon WindView AIRES Checkmate AIRES MPC555/ OSEK PENTIUM/ QNX

Platform Models Plant Model Integrated Model Design Feedback Valid Model Code/Model Test Vectors Valid Code/Model Design Feedback Download Valid Model

BACKPLANE

Open Tool Integration Framework Metamodeling Metamodel Composition & Validation Metagenerators UML-CD/OCL GME/Meta GME/Meta GrEAT

Comp/Platf Modeling Component Implement. System Modeling Component Integration Validation Verification Target Analysis Platform UML/Rose ESML/GME Manual ESML/GME Honeywell CMU ESML/GME Honeywell TimeWeaver AIRES SWRI/ASC TimeWiz AIRES SWRI/ASC ESML/GME PENTIUM/ TAO/ BOLD- STROKE

Platform Models Partial Model System Model Design Feedback Component Code Interaction/Fault mgmt/… Models Valid Code/Model Design Feedback Download Integrated Code Model Component Model Design Feedback

  • Integrated Physical/Computational

Modeling and Analysis

  • Model-based Generators
  • Hybrid System Analysis
  • Customizable (metaprogrammable)

modeling tools and generators

  • Open tool integration framework;

configurable design flow and composable design tool chains

Automotive Experiment Avionics Experiment

slide-15
SLIDE 15

15

Janos Sztipanovits

Solution: Open Tool Integration Framework (OTIF)

Share models using Publish/Subscribe Metaphor Status:

–

Completed, tested in several tool chains

–

Protocols in OMG/CORBA

–

CORBA as a transport layer

–

Integration with ECLIPSE

Share models using Publish/Subscribe Metaphor Status:

–

Completed, tested in several tool chains

–

Protocols in OMG/CORBA

–

CORBA as a transport layer

–

Integration with ECLIPSE

BACKPLANE REGISTRATION/NOTIFICATION/TRANSFER SERVICES SEMANTIC TRANSLATOR SEMANTIC TRANSLATOR TOOL TOOL ADAPTOR TOOL TOOL ADAPTOR TOOL TOOL ADAPTOR MANAGER Standard interface/ Protocol METADATA

http://www.isis.vanderbilt.edu/Projects/WOTIF/default.html

Karsai, ISIS-Vanderbilt

RFP is Discussed at MIC PSIG OMG

slide-16
SLIDE 16

16

Janos Sztipanovits

Host Language (Behavioral Semantics) Host Language (Behavioral Semantics) Model Transf. Model Transf. Spec. Meta-metamodel (Set-Valued Semantics) Model Simulation Model Execution DSML Metamodel

(Set-Valued Semantics)

DSM Model

(Set-Valued Semantics)

Host Language (Behavioral Semantics) Metamodel (Set-Valued Semantics) Semantic Domain

(Behavioral Semantics) ASM TLA+ JAVA MoC “Semantic Units”

Host Language (Behavioral Semantics) Host Language (Behavioral Semantics) Model Semantics

ASM TLA+ JAVA

Model Verification

Syntactic Level Semantic Level

Translation

Challenges: Semantic Anchoring

  • f DSML-s
slide-17
SLIDE 17

17

Janos Sztipanovits

Conclusion

The hard problem of building complex

MPSoC embedded systems is the integrated design of physical and computational components

Domain-specific modeling languages

and model transformations are key technologies for future progress

Model-Integrated Computing evolves to

be a mature technology for the development of complex applications