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.
Cite
@article{arxiv.0710.4746,
title = {RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC},
author = {M. Abdelsalam Hassan and Keishi Sakanushi and Yoshinori Takeuchi and Masaharu Imai},
journal= {arXiv preprint arXiv:0710.4746},
year = {2011}
}
Comments
Submitted on behalf of EDAA (http://www.edaa.com/)