Model-based software synthesis for large systems
Ben A. Abbott, Ted Bapty, Csaba Biegl, Ákos Lédeczi, János Sztipanovits · 9th Computing in Aerospace Conference · 1993
In this paper, we describe techniques for knowledge representation and compilation of large software systems in a model-based, automatic program synthesis environment. Domain specific declarative models are used t o represent specifications and implementation strategies for reactive systems. Dynamic re-synthesis of an executing system is supported, allowing the system structure t o adapt to the external or internal environment. We describe an application of these techniques t o a large, high performance parallel instrumentation system used for analysis of turbine engine strain gauge signals produced during altitude testing. The unique features of this approach include: explicit domain-specific declarative models; graphical representation of models; multiple aspect models; automatic specification of the necessary hardware architecture; and on-line re-synthesis of dynamic systems.