• DocumentCode
    2193263
  • Title

    Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard

  • Author

    Yu, Ke ; Audsley, Neil

  • Author_Institution
    Dept. of Comput. Sci., Univ. of York, York, UK
  • fYear
    2010
  • fDate
    June 29 2010-July 1 2010
  • Firstpage
    1825
  • Lastpage
    1832
  • Abstract
    Transaction Level Modelling (TLM) is an emerging design approach to accelerate Electronic System Level (ESL) design. A virtual TLM prototype of an embedded system is an integration of computation and communication. Currently, TLM communication and hardware modelling has been well discussed and standardised. However, there still exist problems in the domain of TLM for software computation modelling and simulation. In this paper, we aim to propose some appropriate real-time software models from the perspective of TLM software modelling. They are compatible with current TLM modelling concepts and able to be combined with existing TLM communication models. In addition, we implement a software Processing Element (PE) model which effectively integrates mixed timing RTOS-centric software models, abstract processor hardware functions, and OSCI TLM-2.0 communication interfaces.
  • Keywords
    embedded systems; formal specification; software prototyping; software standards; transaction processing; OSCI TLM-2.0 communication standard; RTOS-centric software models; TLM communication models; TLM software modelling; abstract processor hardware functions; behavioural real-time software modelling; electronic system level design; embedded system; hardware modelling; real-time software models; software computation modelling; software computation simulation; software processing element model; transaction level modelling; virtual TLM prototype; Computational modeling; Hardware; Real time systems; Software; Time domain analysis; Time varying systems; Timing; Simulation; Software; SystemC; TLM;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
  • Conference_Location
    Bradford
  • Print_ISBN
    978-1-4244-7547-6
  • Type

    conf

  • DOI
    10.1109/CIT.2010.315
  • Filename
    5578015