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

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

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

Adapted System InputOutput Architecture Adapter

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

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

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

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

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

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

Adaptive Spectrum Analyzer Demonstration

Meta-Model of ASC paradigm

Model of Spectrum Analyzer

Generative Model of Adaptive Filterbank

Analyzer Demonstration Measured frequency (FFT frequency estimates in parentheses)

Signal Setup

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