Constraint Networks for the Synthesis of Networked Applications
Sponsor: DARPA IXO/NEST
AimThe aim of Kestrel's CONSONA project is to develop model-based methods and tools for the goal-oriented integrated design and synthesis of networked embedded real-time applications and services.
- Model the requirements as system-wide soft constraints, specifying what is to be achieved -- not what is to be done.
- Iteratively match the constraints to a library of constraint schemas -- expressing coordination patterns -- and instantiate/apply matching schemas to refine the design, expressed as a constraint network, using model-based transformations for high-level optimization.
- Generate optimized code as ``residual code'' constraint-maintenance code after symbolic constraint propagation and simplification.