2000 character limit reached
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
Published 25 Oct 2007 in cs.OS | (0710.4746v1)
Abstract: 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 $\mu$-ITRON OS specification standard.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
