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

Autor:	Hassan, M. Abdelsalam, Sakanushi, Keishi, Takeuchi, Yoshinori, Imai, Masaharu
Rok vydání:	2007
Předmět:	Computer Science - Operating Systems
Zdroj:	Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005)
Druh dokumentu:	Working Paper
Popis:	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. Comment: Submitted on behalf of EDAA (http://www.edaa.com/)
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/0710.4746 Zobrazit plný text záznamu View this record from Arxiv