DocumentCode
2588512
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
fYear
2005
fDate
7-11 March 2005
Firstpage
554
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe, 2005. Proceedings
ISSN
1530-1591
Print_ISBN
0-7695-2288-2
Type
conf
DOI
10.1109/DATE.2005.263
Filename
1395625
Link To Document