RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC

This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS 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 µITRON OS specification standard.

• Type: Conference
• Year: 2005
• Where: DATE
• Authors: M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai
• Keywords: DATE 2005, Hardware, Real Time Aspects, RTOS Simulation Models, System Level Design