Adaptive parallel algorithms for the synthesis of real-time computer systems

Distributed computing systems are widely used in mission-critical real-time applications like missile defense systems, aircraft control and sonar applications. Designing a low cost distributed computing system which satisfies all the stringent requirements of a given application is a difficult problem. This problem can be alleviated using Computer-Aided Synthesis (CAS) tools. Due to the large number of design alternatives, the CAS tools are compute intensive and can take a considerably long time even for medium sized real-time applications. In this paper we describe a set of parallel synthesis algorithms which dynamically adapt to the number of available processors in a parallel computer system to substantially reduce the total turn-around time of the synthesis process