Skip to Main content Skip to Navigation
Theses

Modeling Functional and Non-Functional Properties of Systems Based on A Multi-View Approach

Carlos Gomez Cardenas 1, 2
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : At the system-level, experts specify functional and non-functional properties by employing their own theoretical models, tools and environments. Such experts attempt to use the most adequate formalisms to verify the defined system properties in a specific domain. Nevertheless, each one of these experts' views is supported on a common base and impacts directly or indirectly the models described by the other experts. As a consequence, it is essential to keep a semantic coherence among the different points of view and also to be able to reconcile and to include all the points of view before undertaking the different phases of the analysis. This thesis proposes a specific domain model named PRISMSYS. This model is based on a model-driven multi-view approach where the concepts, and the relationships between them, are described for each expert's domain. Moreover, these concepts maintain a relation with a backbone model. PRISMSYS allows keeping a semantic coherence among the different views by means of the manipulation of events and logical clocks. PRISMSYS is represented in a UML profile, supported as much as possible by SysML, devoted to the systems engineering, and MARTE, dedicated to the design of real-time embedded systems. The semantic model, which preserves the view coherence, is specified by using CCSL, a declarative formal language for the specification of causal and temporal relationships between events of different views. The approach is illustrated taking as case study an electronic system, where the main domain analysis is power consumption. The system model incorporates various views: a functional model, a power model, a time performance model and a thermal model. In turn, these views are divided in three parts: control, structural, and equational. These parts interact with each other to characterize the temperature and power consumption of the system. The environment proposed by PRISMSYS allows the co-simulation of the model and its analysis. The simulation is supported by TimeSquare, for the event aspects and correlated to the control, and by SciLab, for taking into account the nonfunctional properties (temperature and power consumption). The analysis is conduced by transforming the multi-view model in the internal format accepted by Aceplorer, an expert tool dedicated to power consumption analysis.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00931001
Contributor : Team Kairos <>
Submitted on : Tuesday, January 14, 2014 - 5:33:20 PM
Last modification on : Monday, October 12, 2020 - 10:30:12 AM
Long-term archiving on: : Tuesday, April 15, 2014 - 4:28:08 PM

Identifiers

  • HAL Id : tel-00931001, version 1

Citation

Carlos Gomez Cardenas. Modeling Functional and Non-Functional Properties of Systems Based on A Multi-View Approach. Embedded Systems. Université Nice Sophia Antipolis, 2013. English. ⟨tel-00931001v1⟩

Share

Metrics

Record views

149

Files downloads

348