• DocumentCode
    2969921
  • Title

    Extending transaction level modeling for embedded software design and validation

  • Author

    Baklouti, Mouna ; Benzina, A. ; Bouchhima, A. ; Petrot, Frederic

  • Author_Institution
    MOSIC & Tunisia Polytech. Sch., Rabat
  • fYear
    2007
  • fDate
    2-5 Sept. 2007
  • Firstpage
    64
  • Lastpage
    69
  • Abstract
    In this paper, we propose to extend the Transaction Level Modeling (TLM) approach -initially intended as a higher level abstraction of Register Transfer Level (RTL) hardware (HW) design- to cope with embedded software (SW) design and validation. We aim at introducing new SW TLM concepts which will enable refinement of communication at the SW side. The proposed methodology allows system designers to decide about HW and SW communication architecture jointly, so as to ensure maximum performance efficiency for their designs. As such, multi-processor system-on-chip (MPSoC) heterogeneity would be addressed more efficiently from communication viewpoint.
  • Keywords
    embedded systems; formal specification; formal verification; systems analysis; embedded software design; embedded software validation; high level abstraction; multiprocessor system-on-chip heterogeneity; register transfer level hardware; transaction level modeling; Computer architecture; Costs; Design methodology; Embedded software; Hardware; Instruction sets; Laboratories; Middleware; Software design; System-on-a-chip;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design & Technology of Integrated Systems in Nanoscale Era, 2007. DTIS. International Conference on
  • Conference_Location
    Rabat
  • Print_ISBN
    978-1-4244-1277-8
  • Electronic_ISBN
    978-1-4244-1278-5
  • Type

    conf

  • DOI
    10.1109/DTIS.2007.4449494
  • Filename
    4449494