Academic
Publications
RTOS-aware refinement for TLM2.0-based HW/SW designs

RTOS-aware refinement for TLM2.0-based HW/SW designs,Markus Becker,Giuseppe Di Guglielmo,Franco Fummi,Wolfgang Mueller,Graziano Pravadelli,Tao Xie

RTOS-aware refinement for TLM2.0-based HW/SW designs   (Citations: 2)
BibTex | RIS | RefWorks Download
Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.
Conference: Design, Automation, and Test in Europe - DATE , pp. 1053-1058, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Some extensions using timed-TLM [11] have been proposed in order to add timing information in QEMU...

    Joffrey Kriegelet al. A performance estimation flow for embedded systems with mixed software...

    • ...Therefore, it was extended in [2] to a four-level RTOS-aware TLM 2.0-based refinement that starts from functional untimed SystemC PV models...
    • ...Figure 3. Final Virtual Prototype Platform of [2]...
    • ...Thereafter, based on the work in [2], we extend the previous approach and show how the transition from the abstract to the target RTOS can be smoothened even further before we discuss the specification and verification of real-time properties...
    • ...Meanwhile several approaches like [2] apply QEMU for efficient Instruction Set Simulation in combination with SystemC...
    • ...This approach is based on the flow introduced in Fig. 3 [2] and extended by user mode QEMU emulations for a more efficient transition between both levels...

    Wolfgang Muelleret al. Verification of real-time properties for Hardware-dependent Software

Sort by: