Implementation Synthesis of Embedded Software Under Operating Systems Supporting the Hybrid Scheduling Model

  • Zhigang Gao
  • Zhaohui Wu
  • Hong Li
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4096)


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.


Completion Time Design Space Exploration Embed Software Preemptive Schedule Hybrid Schedule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng. 20, 308–317 (1994)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Gu, Z., Shin, K.G.: Synthesis of Real-Time Implementations from Component-Based Software Models. In: Proc. IEEE Real-Time Systems Symposium (2005)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    OSEK/VDX Operating System, Version 2.2.1 (January 16, 2003), [Online] Available
  10. 10.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Zhigang Gao
    • 1
  • Zhaohui Wu
    • 1
  • Hong Li
    • 1
  1. 1.College of Computer ScienceZhejiang University HangzhouZhejiangChina

Personalised recommendations