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

M. Abdelsalam Hassan (1) , Keishi Sakanushi (1) , Yoshinori Takeuchi (1) , Masaharu Imai (1)

1 Graduate School of Information Science

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.

Domaines: Architectures Matérielles [cs.AR]; Electronique

M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai. RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC. DATE'05, Mar 2005, Munich, Germany. pp.554-559. ⟨hal-00181570⟩