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
Link To Document