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

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

Overview ● Multi-View Concept ● Multi-View System Design ● Multi-View Control Specification ● Multi-View Power Analysis ● Conclusions and Future Work 12/10/2011 SAFA 2

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. 12/10/2011 SAFA 3

Multi-View System 12/10/2011 SAFA 4

Multi-View System Power Requirements Time Requirements Functional Requirements 12/10/2011 SAFA 5

Multi-View System Power Requirements Time Requirements Functional Requirements 12/10/2011 SAFA 6

Multi-View System 12/10/2011 SAFA 7

Multi-View System 12/10/2011 SAFA 8

Multi-View System Guarantee Functional and Non-Functional (Causality, Performance, Power) Requirements 12/10/2011 SAFA 9

System Design 29/09/2011 HELP 10

System Design 29/09/2011 HELP 11

System Design 29/09/2011 HELP 12

System Design 29/09/2011 HELP 13

System Design 29/09/2011 HELP 14

System Design 29/09/2011 HELP 15

System Design 29/09/2011 HELP 16

System Design 29/09/2011 HELP 17

System Design 29/09/2011 HELP 18

System Design www.omgmarte.org 29/09/2011 HELP 19

System Design www.omgmarte.org Control View Specification Control View Specification CCSL CCSL 29/09/2011 HELP 20

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 12/10/2011 SAFA 21

Control Specification Example ● “VGA card should be powered on for at least 30 sec. when the CPU requests to print” 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” 12/10/2011 SAFA 23

System Design Analysis 29/09/2011 HELP 24

System Design Analysis TOOL SPECIFIC EXTRACT MODEL 29/09/2011 HELP 25

System Design Analysis TOOL SPECIFIC EXTRACT MODEL A N A L Y S I S TOOL 29/09/2011 HELP 26

System Design Analysis TOOL SPECIFIC EXTRACT MODEL A N A L Y S I S System model is independent from analysis tools Choose specific views to analyze a specific feature TOOL 29/09/2011 HELP 27

System Design Analysis Scheduling Analysis System model is independent from analysis tools Choose specific views to analyze a specific feature 29/09/2011 HELP 28

System Design Analysis Scheduling Analysis System model is independent from analysis tools Choose specific views to analyze a specific feature 29/09/2011 HELP 29

System Design Analysis Scheduling Analysis CHEDDAR EXTRACT MODEL System model is independent from analysis tools Choose specific views to analyze a specific feature 29/09/2011 HELP 30

System Design Analysis Scheduling Analysis CHEDDAR EXTRACT MODEL S C A H N E A D L Y U S L I I S N G System model is independent from analysis tools Choose specific views to analyze a specific feature CHEEDAR 29/09/2011 HELP 31

System Design Analysis Power Analysis ACEPLORER EXTRACT MODEL A N A L Y S I S 29/09/2011 HELP 32

System Design Analysis Power Analysis ACEPLORER EXTRACT MODEL A N A Power L Y Characterization S I View S P(t)= f(V,t,T...) 29/09/2011 HELP 33

System Design Analysis Power Analysis ACEPLORER EXTRACT MODEL Power Char. Alloc. A N A Power L Y Characterization S I View S P(t)= f(V,t,T...) 29/09/2011 HELP 34

System Design Analysis Power Analysis CCSL ACEPLORER Spec. EXTRACT MODEL Power Char. Alloc. A N A Power L Y Characterization S I View S P(t)= f(V,t,T...) SCENARIO 29/09/2011 HELP 35

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. 12/10/2011 SAFA 36

Merci!!! 12/10/2011 SAFA 37