Semantic Multi-View Model For Low-Power Carlos Gmez, Julien - - PowerPoint PPT Presentation

▶
semantic multi view model for low power
SMART_READER_LITE
LIVE PREVIEW

Semantic Multi-View Model For Low-Power Carlos Gmez, Julien - - PowerPoint PPT Presentation

Aug 22, 2022 239 likes •630 views

Semantic Multi-View Model For Low-Power Carlos Gmez, Julien DeAntoni, Frdric Mallet Universit Nice-Sophia Antipolis AOSTE Project I3S-CNRS INRIA Overview Multi-View Concept Multi-View System Design Multi-View Control

slide-1
SLIDE 1

Semantic Multi-View Model For Low-Power

Carlos Gómez, Julien DeAntoni, Frédéric Mallet Université Nice-Sophia Antipolis AOSTE Project I3S-CNRS INRIA

slide-2
SLIDE 2

12/10/2011 SAFA 2

Overview

  • Multi-View Concept
  • Multi-View System Design
  • Multi-View Control Specification
  • Multi-View Power Analysis
  • Conclusions and Future Work
slide-3
SLIDE 3

12/10/2011 SAFA 3

Multi-View Concept

  • Split the system design in various concerns

according to the domain:

  • Helps domain expert to focus on its own

problematic, in its usual language.

  • Helps identifying the configuration possibility of

each view.

  • Helps identifying the impact of each view on system

requirements.

slide-4
SLIDE 4

12/10/2011 SAFA 4

Multi-View System

slide-5
SLIDE 5

12/10/2011 SAFA 5

Multi-View System

Time Requirements Power Requirements Functional Requirements

slide-6
SLIDE 6

12/10/2011 SAFA 6

Time Requirements Power Requirements Functional Requirements

Multi-View System

slide-7
SLIDE 7

12/10/2011 SAFA 7

Multi-View System

slide-8
SLIDE 8

12/10/2011 SAFA 8

Multi-View System

slide-9
SLIDE 9

12/10/2011 SAFA 9

Functional and Non-Functional Requirements (Causality, Performance, Power)

Guarantee

Multi-View System

slide-10
SLIDE 10

29/09/2011 HELP 10

System Design

slide-11
SLIDE 11

29/09/2011 HELP 11

System Design

slide-12
SLIDE 12

29/09/2011 HELP 12

System Design

slide-13
SLIDE 13

29/09/2011 HELP 13

System Design

slide-14
SLIDE 14

29/09/2011 HELP 14

System Design

slide-15
SLIDE 15

29/09/2011 HELP 15

System Design

slide-16
SLIDE 16

29/09/2011 HELP 16

System Design

slide-17
SLIDE 17

29/09/2011 HELP 17

System Design

slide-18
SLIDE 18

29/09/2011 HELP 18

System Design

slide-19
SLIDE 19

29/09/2011 HELP 19

System Design

www.omgmarte.org

slide-20
SLIDE 20

29/09/2011 HELP 20

System Design

www.omgmarte.org

Control View Specification CCSL Control View Specification CCSL

slide-21
SLIDE 21

12/10/2011 SAFA 21

Clock Constraint Specification Language (CCSL)

  • Formal language to specify the relationship

among events (clocks) presented in a system

  • Introduced in MARTE (UML Profile)
  • TimeSquare: CCSL simulation environment
  • Multi-View Control Specification:
  • Ports events → Clocks on CCSL
  • Guarantee functional and extra-functional

requirements

slide-22
SLIDE 22

12/10/2011 SAFA 22

Control Specification Example

  • “VGA card should be powered on for at least 30 sec.

when the CPU requests to print”

slide-23
SLIDE 23

12/10/2011 SAFA 23

Control Specification Example

  • “VGA card should be powered on for at least 30 sec.

when the CPU requests to print”

slide-24
SLIDE 24

29/09/2011 HELP 24

System Design Analysis

slide-25
SLIDE 25

29/09/2011 HELP 25

System Design Analysis

EXTRACT

TOOL SPECIFIC MODEL

slide-26
SLIDE 26

29/09/2011 HELP 26

System Design Analysis

EXTRACT

TOOL SPECIFIC MODEL

A N A L Y S I S

TOOL

slide-27
SLIDE 27

29/09/2011 HELP 27

System Design Analysis

EXTRACT

TOOL SPECIFIC MODEL

A N A L Y S I S

TOOL System model is independent from analysis tools Choose specific views to analyze a specific feature

slide-28
SLIDE 28

29/09/2011 HELP 28

System Design Analysis

System model is independent from analysis tools Choose specific views to analyze a specific feature

Scheduling Analysis

slide-29
SLIDE 29

29/09/2011 HELP 29

System Design Analysis

System model is independent from analysis tools Choose specific views to analyze a specific feature

Scheduling Analysis

slide-30
SLIDE 30

29/09/2011 HELP 30

System Design Analysis

EXTRACT

CHEDDAR MODEL System model is independent from analysis tools Choose specific views to analyze a specific feature

Scheduling Analysis

slide-31
SLIDE 31

29/09/2011 HELP 31

System Design Analysis

EXTRACT

CHEDDAR MODEL

S C H E D U L I N G A N A L Y S I S

CHEEDAR System model is independent from analysis tools Choose specific views to analyze a specific feature

Scheduling Analysis

slide-32
SLIDE 32

29/09/2011 HELP 32

System Design Analysis

EXTRACT

ACEPLORER MODEL

A N A L Y S I S

Power Analysis

slide-33
SLIDE 33

29/09/2011 HELP 33

System Design Analysis

EXTRACT

ACEPLORER MODEL

A N A L Y S I S

Power Analysis

Power Characterization View

P(t)= f(V,t,T...)

slide-34
SLIDE 34

29/09/2011 HELP 34

System Design Analysis

EXTRACT

ACEPLORER MODEL

A N A L Y S I S

Power Analysis

Power Characterization View

P(t)= f(V,t,T...)

Power Char. Alloc.

slide-35
SLIDE 35

29/09/2011 HELP 35

System Design Analysis

EXTRACT

ACEPLORER MODEL

A N A L Y S I S

Power Analysis

Power Characterization View

P(t)= f(V,t,T...)

Power Char. Alloc. CCSL Spec. SCENARIO

slide-36
SLIDE 36

12/10/2011 SAFA 36

Conclusions and Future Work

  • We use MARTE/SysML to model systems using

multi-views.

  • Our model follows a modeling standard and it is

independent of the analysis tools.

  • We create a transformation engine to analyze

Power consumption using Aceplorer tool.

  • We use CCSL to specify the control behavior of

the Control View.

slide-37
SLIDE 37

12/10/2011 SAFA 37

Merci!!!