From UML to Petri Nets for non functional Property Verification

Frédéric Mallet 1 Marie-Agnès Peraldi-Frati 1 Charles André 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 paper 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, and a non functional property analysis domain, external to UML, used for formal verification. This paper focuses on 1) the specification of expected behavior by UML activities, specialized to support the synchronous paradigm, 2) the definition of an analysis model for temporal properties: the Modular and Hierarchical Time Petri Nets, 3) the transformation from the specification model to the analysis model.
Type de document :
Communication dans un congrès
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. IEEE, 2006, 〈10.1109/IES.2006.357475〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00371277
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 27 mars 2009 - 11:11:17
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : jeudi 10 juin 2010 - 18:56:30

Fichier

IES2006_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. From UML to Petri Nets for non functional Property Verification. IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. IEEE, 2006, 〈10.1109/IES.2006.357475〉. 〈inria-00371277〉

Partager

Métriques

Consultations de la notice

451

Téléchargements de fichiers

160