The Community for Technology Leaders
Green Image
<p>The knowledge-representation and compilation techniques used in a model-based, automatic software synthesis environment are discussed. The environment was used to build Caddmus, a system with more than 250 cooperating processes. The real-time execution environment automatically generates a macro-dataflow computation from declarative models. Central to the approach is the Multigraph Architecture, which provides the framework for model-based synthesis in real-time, parallel-computing environments. Application of Caddmus to analysis of all data related to testing new and redesigned turbine engines is described.</p>
knowledge compilation; knowledge-representation; automatic software synthesis environment; Caddmus; real-time execution environment; macro-dataflow computation; Multigraph Architecture; model-based synthesis; parallel-computing; turbine engines; application generators; automatic programming; knowledge representation

T. Bapty, B. Abbott, G. Karsai, J. Sztipanovits and C. Biegl, "Model-Based Software Synthesis," in IEEE Software, vol. 10, no. , pp. 42-52, 1993.
89 ms
(Ver 3.3 (11022016))