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

Hassan, Mohamed; Sakanushi, Keishi; Takeuchi, Yoshinori; Imai, Masayuki

doi:10.1109/date.2005.263

Cited by 31 publications

(22 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The behavior of several RTOS and timing models for SystemC are defined in these papers. In [9], Hassan discusses an ITRON based SystemC RTOS model. μITRON [22] is an API standard which is mainly used in Asia.…”

Section: Related Workmentioning

confidence: 99%

Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems

Krause

Bringmann

2005

Des Autom Embed Syst

View full text Add to dashboard Cite

In this paper we present a new approach for automated target code generation for given real-time operating systems out of SystemC to support platform independent software development. Since SystemC becomes the most important language in electronic system level design, the support of a seamless design flow becomes an important task. During the system design process, SystemC is used to develop a "Golden Reference Model" that provides a well-suited platform for specification, simulation, and verification of embedded systems. Based on the "Golden Reference Model," an important task of the design process is to map applications, that have been described either in C++ or directly in SystemC, to the specific real-time operating system which is running at the target processor. Since a manual mapping approach is time-consuming and error-prone, the mapping process should be performed automatically. This paper presents a new method for automated generation of code for a specified operating system just by using an abstract XML representation of the RTOS API.

show abstract

Section: Related Workmentioning

confidence: 99%

Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems

Krause

Bringmann

2005

Des Autom Embed Syst

View full text Add to dashboard Cite

show abstract

“…Early work by Hassan et al [11] outlines a simple RTOS simulation in SystemC, where specific schedulers can be derived from a basic class. They model processes by a 1-safe Petri-Net with atomic transitions annotated by time and power consumption.…”

Section: Related Workmentioning

confidence: 99%

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement

Becker

Zabel

Mueller

2010

Distributed, Parallel and Biologically Inspired Systems

View full text Add to dashboard Cite

“…Most of these models are limited to providing scheduling capabilities. Later a few models of specific www.intechopen.com operating systems have been proposed (Honda et al, 2004;Hassan et al, 2005). However, these RTOS models were very light and with reduced functionality.…”

Section: Operating System Modelingmentioning

confidence: 99%

“…Several models based on SpecC (Tomiyama et al, 2001;Gerstlauer et al, 2003) and SystemC (Hassan et al, 2005;He et al, 2005;Schirner et al, 2007) have been proposed. However, most of these solutions have limited functionality and proprietary interfaces, which greatly complicate the modeling of real application SW codes (Gerstlauer et al, 2003;He et al, 2005;Yoo et al, 2002).…”

Section: Operating System Modelingmentioning

confidence: 99%