arXiv Open Access 2007

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

M. Abdelsalam Hassan Keishi Sakanushi Yoshinori Takeuchi Masaharu Imai

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.OS

Penulis (4)

M. Abdelsalam Hassan

Keishi Sakanushi

Yoshinori Takeuchi

Masaharu Imai

Format Sitasi

APA MLA BibTeX

Hassan, M.A., Sakanushi, K., Takeuchi, Y., Imai, M. (2007). RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC. https://arxiv.org/abs/0710.4746

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2007
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓