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
Ted Bapty, Ben Abbott, Gabor Karsai, Janos Sztipanovits, Csaba Biegl, "Model-Based Software Synthesis", IEEE Software, vol. 10, no. , pp. 42-52, May/June 1993, doi:10.1109/52.210602
87 ms
(Ver 3.3 (11022016))