Non-functional property analysis using UML2.0 and model transformations

Charles André 1 Frédéric Mallet 1 Marie-Agnès Peraldi-Frati 1
1 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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Real-time embedded architectures consist of software and hardware parts. Meeting non-functional constraints (e.g., real-time constraints) greatly depends on the mappings from the system functionalities to software and hardware components. Thus, there is a strong demand for precise architecture and allocation modeling, amenable to performance analysis. The report proposes a model-driven approach for the assessment of the quality of allocations of the system functionalities to the architecture. We consider two technical domains: the UML domain for the definition of the model elements (for both description and analysis), and an analysis domain, external to UML, used for formal verification. This report defines three meta-models, one for each domain, and provides automated transformations within and between these domains. A special attention is then paid to temporal property analysis, based on a particular analysis model: the Modular and Hierarchical Time Petri Nets.
Type de document :
Rapport
[Research Report] RR-5913, INRIA. 2006, pp.18
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00124874
Contributeur : Rapport de Recherche Inria <>
Soumis le : mardi 16 janvier 2007 - 15:40:21
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:39:18

Fichiers

RR-5913.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00124874, version 1

Collections

Citation

Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati. Non-functional property analysis using UML2.0 and model transformations. [Research Report] RR-5913, INRIA. 2006, pp.18. 〈inria-00124874〉

Partager

Métriques

Consultations de la notice

326

Téléchargements de fichiers

274