| Full record
|Real-time Operating System modeling in SystemC for HW/SW co-simulation
|XX Conference on Design of Circuits and Integrated Systems, DCIS'05, IST Lisboa.
Design and verification of HW/SW embedded systems
ITEA IP 03002 MERCED
Metodologías de especificación, análisis de prestaciones y verificación d...
|HW/SW co-simulation requires accurate timed simulation of the embedded SW including the Real-Time Operating System (RTOS) used. One of the most important ways to simulate complex HW/SW systems is to use system-level languages. Among them, SystemC is widely accepted in the designer community. However, the use of SystemC does not directly support certain RTOS functionalities. RTOS modeling requires a sufficiently accurate estimation of the execution time. PERFidy provides such required timed simulation technology. This paper presents a method that can provide the designer with an accurate-enough, timed simulation of the embedded SW taking into account the RTOS behavior. The solution proposed is based on an accurate model of the RTOS with a precise simulation of the time-slicing.