Towards supporting design phase synthesis

This paper presents research into the automation of design phase software synthesis. Key features of an application domain, real-time multi-tasking software, are incorporated into a design selection heuristic. This heuristic captures the mathematical underpinnings inherent in the domain. A design phase synthesis algorithm, incorporating the design selection heuristic, is described. This paper then illustrates this algorithm's ability to synthesize the design of a real-time multi-tasking software set.<
>