Title :
RTK-Spec TRON: a simulation model of an ITRON based RTOS kernel in SystemC
Author :
Hassar, M.A. ; Sakanushi, Keishi ; Takeuchi, Yoshinori ; Imai, Masaharu
Author_Institution :
Graduate Sch. of Inf. Sci. & Technol., Osaka Univ., Japan
Abstract :
The paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS (real time operating system) 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 (micro industrial TRON - the real time operating system nucleus) OS specification standard.
Keywords :
computer aided software engineering; embedded systems; operating system kernels; simulation; OS kernel; SystemC; embedded software; micro industrial TRON; real time kernel specification; real time operating system nucleus; simulation model; system level design language; Acceleration; Context modeling; Dynamic programming; Information science; Kernel; Libraries; Microprogramming; Real time systems; System-level design; Timing;
Conference_Titel :
Design, Automation and Test in Europe, 2005. Proceedings
Print_ISBN :
0-7695-2288-2
DOI :
10.1109/DATE.2005.263
