RTK-Spec TRON: a simulation model of an ITRON based RTOS kernel in SystemC

The paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS (real time operating system) simulation models in a system level design language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the /spl mu/-ITRON (micro industrial TRON - the real time operating system nucleus) OS specification standard.