Implementation synthesis of embedded software under operating systems supporting the hybrid scheduling model

  • Authors:
  • Zhigang Gao;Zhaohui Wu;Hong Li

  • Affiliations:
  • College of Computer Science, Zhejiang University Hangzhou, Zhejiang, China;College of Computer Science, Zhejiang University Hangzhou, Zhejiang, China;College of Computer Science, Zhejiang University Hangzhou, Zhejiang, China

  • Venue:
  • EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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