Marte Timing Requirement and Spirit IP-XACT

Aamir Mehmood Khan 1 Frédéric Mallet 1 Charles André 1 Robert De Simone 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 : Large System-on-Chips are built by assembly of existing components modeled at different representation levels (TLM, RTL). The IP-Xact standard was developed to ease interoperability of IPs from different vendors. Currently, it focuses on structural, typing and memory-related information and does not fully face behavioral and timing representation issues. UML Marte profile explicitly focuses on the rich expression of time (physical or logical). Combining both specifications allows for introducing a higher timed representation level and for extending IP-Xact with timing characteristics. Such timing characteristics are used to validate IP-Xact models by composing component behaviors and compare existing TLM and RTL implementations.
Type de document :
[Research Report] RR-6647, INRIA. 2008
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 3 juillet 2009 - 13:24:20
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 13:06:57


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00321953, version 2


Aamir Mehmood Khan, Frédéric Mallet, Charles André, Robert De Simone. Marte Timing Requirement and Spirit IP-XACT. [Research Report] RR-6647, INRIA. 2008. 〈inria-00321953v2〉



Consultations de la notice


Téléchargements de fichiers