Performance and Functional Analysis of TLM Models in the SHE Methodology

Software/hardware engineering (SHE) is a model-driven system-level design methodology for hardware/software systems and embedded systems. It assists a designer in both the development of models for analysis purposes and the actual realisation of the system; and the toolset of SHE is the result of software engineering research with a very strong foundation in formal theories/methods. In the recent years, the transaction level modelling (TLM) paradigm has been widely propagated for complex system-on-a-chip (SoC) and embedded system designs; and it is being used in industry to solve a variety of practical problems during the design, development and deployment of such designs. This paper presents the application of the SHE methodology to combine performance and functional analysis of TLM models. We illustrate the practical interest of our approach with an example: a CPU and memory system.