Model-based software synthesis

Author

Abbott, Ben ; Bapty, Ted ; Biegl, Csaba ; Karsai, Gabor ; Sztipanovits, Janos

Author_Institution

Dept. of Electr. Eng., Vanderbilt Univ., Nashville, TN, USA

Volume

10

Issue

3

fYear

1993

fDate

5/1/1993 12:00:00 AM

Firstpage

42

Lastpage

52

Abstract

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.<>

Keywords

application generators; automatic programming; knowledge representation; Caddmus; Multigraph Architecture; automatic software synthesis environment; knowledge compilation; knowledge-representation; macro-dataflow computation; model-based synthesis; parallel-computing; real-time execution environment; turbine engines; Automatic control; Computational modeling; Computer architecture; Control system synthesis; Databases; Knowledge engineering; Real time systems; Reliability engineering; Signal processing; Signal synthesis;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.210602

Filename

210602