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

摘要

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.