Multi-view Power Modeling Based on UML, MARTE and SysML

Abstract

The development of SoC involves different activities, usually driven by specialists. These specialists use specific languages and tools to manipulate their specific concepts. The problem is that the multiple views of the system are split into different tools with redundant information. It makes it difficult to ensure consistency as well as to change from one tool to another. We propose a multi-view model where each view represents the specialist concepts in a tool-agnostic manner. The model can be kept consistent by using explicit associations instead of redundancy and tool transformation can be performed to analysis-specific tools. The approach is based on uml and two of its extensions: marte and SysML. It is illustrated by adding specific views to specify power management techniques. The resulting model is then transformed into a tool-specific model; i.e., a model for Docea Aceplorer, a power analysis tool.

Applying MARTE Profile for Optimal Automotive System Specifications and Design

“…Article [13] explores the use of UML profiles SysML and MARTE for the modeling of Real Time software requirements, with its main area of application being the control of urban traffic. In [14], the authors propose a multi-view approach based on MARTE and SysML for modeling of energy consumption. In this approach, each domain may be treated separately through different views, maintaining connections of model elements with other views.…”

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

“…UML (unified modeling language) and its SYSML (systems modeling language)/MARTE (modeling and analysis of real-time embedded systems) profiles are frequently used in contemporary research practices (Giuseppe Di et al, 2013;George-Dimitrios et al, 2014;Berrani et al, 2013;Sakairi et al, 2012;Stancescu et al, 2010;Anargyros et al, 2014;Ouchani et al, 2013;Bouquet et al, 2012;DeTommasi et al, 2013;Gomez et al, 2012;Andrade et al, 2009;Quadri et al, 2012;Bazydlo et al, 2014;Doligalski and Adamski, 2013;Mueller et al, 2010;Durand and Bonato, 2012;Moreira et al, 2010;Vidal et al, 2009;Linehan and Clarke, 2012) to specify embedded systems requirements. Furthermore, different properties specification techniques/languages have been proposed by researchers (Yin et al, 2013;Mallet, 2012;Knorreck and Apvrille, 2011;Ge et al, 2012;Behjati et al, 2011) to model behavioral/temporal aspects.…”

“…Furthermore, different properties specification techniques/languages have been proposed by researchers (Yin et al, 2013;Mallet, 2012;Knorreck and Apvrille, 2011;Ge et al, 2012;Behjati et al, 2011) to model behavioral/temporal aspects. Once requirements are modeled, different model transformation techniques have been applied to develop platform specific model and/or source code generation.…”

Execution of heterogeneous models for thermal analysis with a multi-view approach

“…PRISMSYS [2] proposes to tack the semantics of the MoCs on top of traditional engineering models based on the UML (Unified Modeling Language [3]) or one of its specializations like SYSML [4] or MARTE [5]. PRISMSYS [2] also proposes to keep the semantics of the MoC explicit and separate from the functional model to ease its extraction, modification and analysis.…”

“…PRISMSYS [2] also proposes to keep the semantics of the MoC explicit and separate from the functional model to ease its extraction, modification and analysis. PRISMSYS implements the IEEE 42010 standard.…”