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

Munich, Germany March 07-March 11

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/DATE.2005.263

Design, Automation and Test in Europe ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M. AbdElSalam Hassan Articles by Keishi Sakanushi Articles by Yoshinori Takeuchi Articles by Masaharu Imai

	ASCII Text	x
	M. AbdElSalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai, "RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 554-559, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005.

	BibTex	x
	@article{ 10.1109/DATE.2005.263, author = {M. AbdElSalam Hassan and Keishi Sakanushi and Yoshinori Takeuchi and Masaharu Imai}, title = {RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {1}, year = {2005}, issn = {1530-1591}, pages = {554-559}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.263}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC SN - 1530-1591 SP554 EP559 A1 - M. AbdElSalam Hassan, A1 - Keishi Sakanushi, A1 - Yoshinori Takeuchi, A1 - Masaharu Imai, PY - 2005 KW - null VL - 1 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

M. AbdElSalam Hassan, Osaka University, Japan

Keishi Sakanushi, Osaka University, Japan

Yoshinori Takeuchi, Osaka University, Japan

Masaharu Imai, Osaka University, Japan

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.

Citation:

M. AbdElSalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai, "RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC," date, vol. 1, pp.554-559, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.