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 :
Rapport
[Research Report] RR-6647, INRIA. 2008
Liste complète des métadonnées


https://hal.inria.fr/inria-00321953
Contributeur : Frédéric Mallet <>
Soumis le : vendredi 3 juillet 2009 - 13:24:20
Dernière modification le : samedi 17 septembre 2016 - 01:36:46
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 13:06:57

Fichier

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

Identifiants

  • HAL Id : inria-00321953, version 2

Collections

Citation

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>

Partager

Métriques

Consultations de
la notice

371

Téléchargements du document

277