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
Recommend
More recommend
