关键词：软件合成系统；系统软件的设计和开发
摘 要：The amount and complexity of software in embedded control systems is increasing rapidly.This factor, together with the wide use of distributed platforms and the tight design requirements,raises great challenges to software design and development in these systems. However,the current design practice is largely manual and ad-hoc, especially at the system level, whichproduces suboptimal and unreliable systems. In this dissertation, we propose a systematic software synthesis ow to address some of the pressing issues in software design, in particular the heterogenity of the design inputs, the complexity of the design space, and the semantic di erence between the functional speci cation and the implementation platform.