Abstract
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High-level system models are used in system level design for early design exploration. While real time operating systems (RTOS) are an increasingly important component in system design, specific RTOS implementations cannot be used directly in high level models. On the other hand, existing system level design languages (SLDL) lack support for RTOS modeling. In this chapter, we propose a RTOS model built on top of existing SLDLs which, by providing the key features typically available in any RTOS, allows the designer to model the dynamic behavior of multi-tasking systems at higher abstraction levels to be incorporated into existing design flows. Experimental result shows that our RTOS model is easy to use and efficient while being able to provide accurate results.
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
G. C. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers, 1999.
J. Cortadella. “Task Generation and Compile Time Scheduling for Mixed Data-Control Embedded Software.” In Proceedings of Design Automation Conference (DAC), June 2000.
D. Desmet, D. Verkest, and H. De Man. “Operating System Based Software Generation for System-on-Chip.” In Proceedings of Design Automation Conference (DAC), June 2000.
R. Dömer, A. Gerstlauer, and D. D. Gajski. SpecC Language Reference Manual, Version 2.0. SpecC Technology Open Consortium, December 2002.
L. Gauthier, S. Yoo, and A. A. Jerraya. “Automatic Generation and Targeting of Application-Specific Operating Systems and Embedded Systems Software.” IEEE Transactions on CAD, November 2001.
A. Gerstlauer and D. D. Gajski. “System-Level Abstraction Semantics.” In Proceedings of International Symposium on System Synthesis (ISSS), October 2002.
A. Gerstlauer, R. Dömer, J. Peng, and D. D. Gajski. System Design: A Practical Guide with SpecC. Kluwer Academic Publishers, 2001.
A. Gerstlauer, S. Zhao, D. D. Gajski, and A. Horak. “Design of a GSM Vocoder using SpecC Methodology.” Technical Report ICS-TR-99-11, UC Irvine, February 1999.
T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
D. Steppner, N. Rajan, and D. Hui. “Embedded Application Design Using a Real-Time OS.” In Proceedings of Design Automation Conference (DAC), June 1999.
H. Tomiyama, Y. Cao, and K. Murakami. “Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC.” In Proceedings of Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI), October 2001.
H. Yu, A. Gerstlauer, and D. D. Gajski. “RTOS Modeling in System Level Synthesis.” Technical Report CECS-TR-02-25, UC Irvine, August 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
Gerstlauer, A., Yu, H., Gajski, D.D. (2003). RTOS Modeling for System Level Design. In: Jerraya, A.A., Yoo, S., Verkest, D., Wehn, N. (eds) Embedded Software for SoC. Springer, Boston, MA. https://doi.org/10.1007/0-306-48709-8_5
Download citation
DOI: https://doi.org/10.1007/0-306-48709-8_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7528-5
Online ISBN: 978-0-306-48709-5
eBook Packages: Springer Book Archive