8485 articles  [version française]

inria-00321953, version 1

Marte Timing Requirement and Spirit IP-XACT

Aamir Mehmood Khan 1, 2, Frédéric Mallet () a, 1, 2, Charles André () a, 1, 2, Robert De Simone () b, 1, 2

N° RR-6647 (2008)

  • a –  Université de Nice Sophia-Antipolis
  • b –  INRIA
  • 1:  AOSTE (INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S)

  • INRIA – Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271 France
  • 2:  Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S)
  • http://www.i3s.unice.fr/
    Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271 2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis France
  • Available versions :  v1 (2008-09-16) v2 (2009-07-03)

    • Bibliographic reference

    • Type of document: Research reports
    • Domain: Computer Science/Ubiquitous Computing
    • Title: Marte Timing Requirement and Spirit IP-XACT
    • Abstract: 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.
    • ACM Classification:
      C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems
      D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.0: Elicitation methods (e.g., rapid prototyping, interviews, JAD)
      D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.4: Standards
    • Full text language: English
    • Report type: Research Report
    • Publication date: 2008
    • Keywords: MARTE – IP-XACT – Timing Requirement
    • Internal note: RR-6647

    Attached file list to this document: 

    PDF
    RR-6647.pdf(1.4 MB)
     
    • inria-00321953, version 1
    • http://hal.inria.fr/inria-00321953
    • oai:hal.inria.fr:inria-00321953
    • From: Frédéric Mallet <>
    • Submitted on: Tuesday, 16 September 2008 11:48:55
    • Updated on: Tuesday, 16 September 2008 11:55:26