1. Institute for Software Integrated Systems Vanderbilt University DARPA ASC PI Meeting May 26-28, 1999 Adaptive Model-Integrated Computing Akos Ledeczi

2. The MultiGraph Architecture Model Interpretation Model Interpreters Models MIPS Environment Application Domain App. 1 App. 2 App. 3 Application Evolution Environment Evolution Meta-Level Translation Metaprogramming Interface Formal Specifications Model Builder

3. Introduction Goal: to create software that continuously evaluates its own performance and adapts itself to meet performance goals Target: embedded signal processing / instrumentation systems that can be structurally adapted Method: models and model interpreters are embedded into the runtime system

4. Adapted System InputOutput Architecture Adapter

5. Runtime System Evaluator Configurator System Models InputOutput Architecture ASC Modeling Environment ASC Translator Meta-Modeling Environment Meta-Level Translator

6. Generative Modeling Need to model the solution space not just a single solution Parametric description of model structures Numerical parameters + generator algorithms Paradigm independent to support reuse Declarative + Generative Modeling

7. Active Models Evaluator Runtime System Embedded Translator Embedded Models ASC Modeling Environment ASC Translator Parameters Design TimeRun Time Prototype Architecture InputOutput

8. System Validation Validation in design time is infeasible Constrain the target system, not the models (e.g. resource constraints) Constraints prune the search space Iterative adaptation

9. Active Models Evaluator Runtime System Embedded Interpreter Embedded Models Parameters System Validation InputOutput Constraint Checker Constraints

10. FFT Simple Adaptive Spectrum Analyzer Notch FilterBand Filter Notch FilterBand Filter... Peak DetectorEvaluator Input Reconfiguration Filter Bank

11. Adaptive Spectrum Analyzer Demonstration

12. Meta-Model of ASC paradigm

13. Model of Spectrum Analyzer

14. Generative Model of Adaptive Filterbank

15. Analyzer Demonstration Measured frequency (FFT frequency estimates in parentheses)

16. Signal Setup

17. Conclusions Modeling: –Declarative and Generative Models –Active Models –Embedded Models, Constraints and Translators Reconfiguration Evaluation System validation Real time issues Transients at reconfiguration