Model-based automatic program synthesis parallel instrumentation
Ben A. Abbott · 1995
The focus of the research described in this dissertation was to evaluate the efficacy of combining domain specific declarative programming techniques with model-based software synthesis techniques when applied to the automatic program generation of software for parallel instrumentation applications. Domain specific models were utilized to provide information describing the required system specifications as well as knowledge concerning the search-space of possible solutions. With this focus in mind, a working set of tools for the model-based software synthesis approach were developed and applied to reactive, parallel instrumentation system test cases. The test case scenarios described are both real and example systems. The results of the evaluation process include a description of a working framework using model-based knowledge representations to aid in software synthesis problems. As well, the results include recommendations for the development of future model-based software synthesis systems including areas of future research.