Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Frédéric Mallet Connect in order to contact the contributor
Submitted on : Friday, July 3, 2009 - 1:24:20 PM
Last modification on : Saturday, June 25, 2022 - 11:01:35 PM
Long-term archiving on: : Wednesday, September 22, 2010 - 1:06:57 PM


Files produced by the author(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⟩



Record views


Files downloads