Skip to Main content Skip to Navigation
Reports

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, Laboratoire I3S - 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.
Document type :
Reports
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00321953
Contributor : Frédéric Mallet <>
Submitted on : Friday, July 3, 2009 - 1:24:20 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Wednesday, September 22, 2010 - 1:06:57 PM

File

RR-6647.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

558

Files downloads

498