Abstract
The paradigm shift on embedded systems synthesis currently brings the design exploration towards higher levels of abstraction. Consequently, a need arises for an early and realistic assessment of system-level design decisions as well as its support from the design language used. Moreover, while execution properties of embedded software processes, which more and more dominate the functionality of embedded systems, can considerably vary, the chosen scheduling policy influences distinctly the execution properties. Unfortunately, the current version of SystemC is still lacks of that software modeling support. Therefore, the modeling capability of SystemC is being extended in this paper by generic real-time operating system services thus providing more realistic software modeling features. System and software design alternatives can thus be early explored and different scheduling policies can be easily validated.
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
Eles, P., Kuchcinski, K., Peng, Z., Doboli, A., and Pop, P. (1998). Scheduling of conditional process graphs for the synthesis of embedded systems. In Proceedings of the conference on Design, automation and test in Europe, pages 132–139. IEEE Computer Society.
Gerstlauer, A., Yu, H., and Gajski, D. (2003). Rtos modeling for system level design. In DATE-Conference, pages 10130–10135.
Grötker, T. (2002). Modeling software with systemc 3.0. OSCI Language Working Group, Synopsys Inc, In 6th European SystemC Users Group Presentations.
Guthier, L., Yoo, S., and Jerraya, A. (2001). Automatic generation and targeting of application specific operating systems and embedded systems software. In DATE’ 01: Proceedings of the conference on Design, automation and test in Europe, pages 679–685. IEEE Press.
IEEE (1990). IEEE, New York.
Klaus, S. and Huss, S. A. (2003). A Novel Specification Model for IP-based Design. In Proc. of EUROMICRO Symposium on Digital System Design, pages 190–196, Belek, Turkey. IEEE Computer Society.
Klaus, S., Huss, S. A., and Trautman, T. (2003). Automatic Generation of Scheduled SystemC Models of Embedded Systems From Extended Task Graphs. In Villar, E. and Mermet, J. P., editors, System Specification & Design Languages-Best of FDL’02, pages 207–217. Kluwer Academic Publishers.
Kopetz, Hermann (1997). Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers.
Liu, C.L. and Layland, J.W. (1973). Scheduling algorithms for multiprograming in a hard rt environment. Journal of the Association for Computing Machinery (ACM).
Manolache, S. (2002). Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times. PhD dissertation, Linköping University, Department of Computer and Information Science.
Moigne, R. Le, Pasquier, O., and Calvez, J-P. (2004). A generic rtos model for real-time systems simulation with systemc. In DATE’ 04: Proceedings of the conference on Design, automation and test in Europe, page 30082. IEEE Computer Society.
Petters, S. M. (2002). How much worst case is needed in wcet estimation? In 2nd International Workshop on Worst Case Execution Time Analysis 2002, Vienna, Austria.
SystemC (2001). Functional Specification For SystemC 2.0. http://www.systemc.org.
Wolf, F. (2002). Behavioral Intervals in Embedded Software. Kluwer Academic Publishers.
Yu, Haobo, Gerstlauer, Andreas, and Gajski, Daniel (2003). Rtos scheduling in transaction level models. In CODES+ISSS’ 03: Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, pages 31–36. ACM Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
Hastono, P., Klaus, S., Huss, S.A. (2005). Systemc Models for Realistic Simulations Involving Real-Time Operating System Services. In: Boulet, P. (eds) Advances in Design and Specification Languages for SoCs. Springer, Boston, MA. https://doi.org/10.1007/0-387-26151-6_17
Download citation
DOI: https://doi.org/10.1007/0-387-26151-6_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-26149-2
Online ISBN: 978-0-387-26151-5
eBook Packages: EngineeringEngineering (R0)