Abstract
This paper presents a new methodology for modeling a priority-based preemptive real time operating system (RTOS) kernel in SystemC. We use the current modeling constructs of SystemC 2.0 and throughout our development of the kernel’s system calls; new constructs dedicated to RTOS modeling have been proposed. The article focuses on kernel architecture and shows its interaction with hardware module representing a bus functional model (BFM) of a generic microcontroller. The usage of the proposed kernel’s APIs is demonstrated by an embedded software example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Y. Liao, “Towards a new standard for system-level design,” in Proc. 5th International Workshop on Hardware/Software Co-Design, May 2000.
W. H. Wolf, “Hardware/Software Co-Design of Embedded Systems,” in Proc. IEEE, July 94.
S. Liao, S. Tjiang, R. Gupta, “An Efficient Implementation of Reactivity for Modeling Hardware in the SCENIC Design Environment,” in Proc. DAC’97, June 1997.
J. Gerlach, W. Rosenstiel, “System Level Design Using the SystemC Modeling Platform,” Worshop on System Design Automation, SDA 2000.
D. E. Thomas, J.K. Adams, H. Schmit, “A Model and Methodology for Hardware-Software Co-Design,” in Proc. IEEE Design and Test, Sept. 1993.
L. Séméria, A. Ghosh, “Methodology for Hardware/Software Co-verification in C/C++,” in Proc. ASP-DAC, 2000.
D. Harris, D. Stokes, R. Klein, “Executing an RTOS on Simulated Hardware using Co-verification,” in Proc. Embedded Systems Conference, San Jose, Sept. 2000.
G. De Micheli, “Hardware Synthesis from C/C++ Models,” in Proc. DATE’99, March 1999.
A. Ghosh, J. Kunkel, S. Liao, “Hardware Synthesis from C/C++,” in Proc. DATE’99.
T. W. Schultz, “C and the 8051 Building efficient applications, Vol. II”, Prentice-Hall, 1999.
Ward, P., S. Mellor, “Structured Development for Real-Time Systems”, Prentice Hall, 1985.
T. W. Schultz, “C and the 8051 Hardware modular programming and multitasking, Vol. I”, Prentice-Hall, 1998.
B. Bailey, R. Klein, S. Leef, “Hardware-Software Co-Simulation Strategies for the Future,“ Mentor Graphics Co., http://www.mentor.com
K. Svarstad, G. Nicolescu, A. Jerraya, “A Model for Describing Communication between Aggregate Objects in the Specification and Design of Embedded Systems,” SystemC Technical Papers Collection, http://www.systemC.org
M. AbdElSalam, A. Salem, G. Aly, „RTOS Modeling Using SystemC,” in Proc. International Workshop for System On Chip (IWSOC) Conference, Canada, June 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Salam, M.A., Salem, A. (2003). A SystemC Model for RTOS Kernel. In: Villar, E., Mermet, J. (eds) System Specification & Design Languages. Springer, Boston, MA. https://doi.org/10.1007/0-306-48734-9_21
Download citation
DOI: https://doi.org/10.1007/0-306-48734-9_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7414-1
Online ISBN: 978-0-306-48734-7
eBook Packages: Springer Book Archive