RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
Mohamed Hassan, K. Sakanushi, Yoshinori Takeuchi, M. Imai · Design, Automation, and Test in Europe · 2005
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.