Abstract
In this paper we present our 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 we propose new constructs that can be used in RTOS modeling. We show then the interaction of the embedded software module consisting of the RTOS kernel and the running application tasks with a hardware module representing a bus functional model (BFM) of a generic microcontroller.
Key words
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
SystemC User’s Guide Version 1.1, Functional Specification For SystemC Version 2.0, Sept. 2001, http://www.SystemC.org
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 1994.
R. K. Gupta, G. De Micheli, “A Co-Synthesis Approach to Embedded System Design Automation,” in Proc. Design Automation for Embedded Systems, Jan. 1996.
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.
R. Klein, “Miami, a Hardware/Software Co-verification System,” in Proc. 7th IEEE Rapid Systems Prototyping Workshop, 1996.
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, March 1999.
T. W. Schultz, “C and the 8051 Building efficient applications, Volume II”, Prentice-Hall, 1999.
Ward, P., S. Mellor, “Structured Development for Real-Time Systems”, Prentice Hall, 1985.
B. Bailey, R. Klein, S. Leef, “Hardware-Software Co-Simulation Strategies for the Future,” Mentor Graphics Co., http://www.mentor.com
T. W. Schultz, “C and the 8051 Hardware modular programming and multitasking, Volume I”, Prentice-Hall, 1998.
A. Ghosh et al., “A Hardware/Software Co-simulator for embedded system design and debugging,” in Proc. ASP-DAC’95, 1995.
C. Passerone, L. Lavagno, M. Chiodo, A. Sangiovanni-Vintentelli, “Fast Hardware/Software Co-simulation for virtual prototyping and trade-off analysis,” in Proc. DAC’97, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
El-Salam, M.A., Salem, A., Aly, G. (2003). RTOS Modeling Using SystemC. In: Badawy, W., Jullien, G. (eds) System-on-Chip for Real-Time Applications. The Kluwer International Series in Engineering and Computer Science, vol 711. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0351-4_14
Download citation
DOI: https://doi.org/10.1007/978-1-4615-0351-4_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5034-7
Online ISBN: 978-1-4615-0351-4
eBook Packages: Springer Book Archive