Constraint Networks for the Synthesis of Networked Applications

CONSONA

Principal Investigators: Prof. Lambert Meertens, Dr Cordell Green
Co-Investigators: Dr Stephen Fitzpatrick

Sponsor: DARPA IXO/NEST

Aim

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

Approach

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

Further Information

Presentations given at the twice-annual program meetings