RTK-Spec TRON: a simulation model of an ITRON based RTOS kernel in SystemC

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 µ-ITRON OS specification standard.

DOI: 10.1109/DATE.2005.263

Extracted Key Phrases

10 Figures and Tables

Cite this paper

@article{Hassan2005RTKSpecTA, 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={Design, Automation and Test in Europe}, year={2005}, pages={554-559 Vol. 1} }