We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input of software layouts, which maps tasks to resources and (2) a constraints solving engine, which allocates local resources to tasks, all with the goal of meeting speci ed performance criteria. Our tool di ers from previous work in that it allows (a) use of stochastic (rather than worst-case) models of resource usage and (b) resource sharing among components. Our approach uses analytical approximate solutions for quick estimates of the desired performance measures. These estimates permit an e cient search of the possible design space. Once candidate designs are determined, they are validated through a simulation model. We demonstrate the e ciency and robustness of this tool on a synthetic aperture radar benchmark.