Abstract
Implementation synthesis of embedded software has great influence on implementing embedded software’s non-functional requirements, such as real-time, memory consumption, and low power, etc. In this paper, we focus on the implementation synthesis problem under a class of operating systems that supports the hybrid-scheduling model, that is, task sets have preemptable tasks and non-preemptable tasks. We propose a time analysis technology and an implementation synthesis method with the ability of design space exploration and optimization. Experimental evaluation shows our implementation synthesis method yields real-time embedded software with lower system overheads.
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.
Similar content being viewed by others
References
Wang, S., Merrick, J.R., Shin, K.G.: Component allocation with multiple resource constraints for embedded real-time software design. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 219–226 (2004)
Wang, S., Shin, K.G.: An architecture for embedded software integration using reusable components. In: Proc. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, pp. 110–118 (2000)
Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng. 20, 308–317 (1994)
Kodase, S., Wang, S., Shin, K.G.: Transforming structural model to runtime model of embedded software with real-time constraints. In: Proc. Design, Automation and Test in Europe Conference, pp. 20170–20175 (2003)
Gu, Z., Wang, S., Shin, K.G.: Synthesis of real-time implementation from UML-RT models. In: Proc. IEEE RTAS Workshop on Model-Driven Embedded Systems (2004)
Wang, L., Wu, Z.: Schedulability Test for Fault-Tolerant Hybrid Real-time Systems with Preemptive and Non-preemptive tasks. In: Proc. the Fourth International Conference on Computer and Information Technology, pp. 1169–1174 (2004)
Gu, Z., Shin, K.G.: Synthesis of Real-Time Implementations from Component-Based Software Models. In: Proc. IEEE Real-Time Systems Symposium (2005)
Bartolini, C., Lipari, G., Natale, M.D.: From functional blocks to the synthesis of the architectural model in embedded real-time applications. In: Proc. IEEE Real Time and Embedded Technology and Applications Symposium, pp. 458–467 (2005)
OSEK/VDX Operating System, Version 2.2.1 (January 16, 2003), [Online] Available http://www.osek-vdx.org/mirror/os221.pdf
Harbour, M., Klein, M.H., Lehoczky, J.: Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Software Eng. 20(2), 13–28 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gao, Z., Wu, Z., Li, H. (2006). Implementation Synthesis of Embedded Software Under Operating Systems Supporting the Hybrid Scheduling Model. In: Sha, E., Han, SK., Xu, CZ., Kim, MH., Yang, L.T., Xiao, B. (eds) Embedded and Ubiquitous Computing. EUC 2006. Lecture Notes in Computer Science, vol 4096. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11802167_44
Download citation
DOI: https://doi.org/10.1007/11802167_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36679-9
Online ISBN: 978-3-540-36681-2
eBook Packages: Computer ScienceComputer Science (R0)