Constraint Networks for the Synthesis of Networked Applications
Prof. Lambert Meertens,
Dr Cordell Green
Co-Investigators: Dr Stephen Fitzpatrick
Sponsor: DARPA IXO/NEST
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.
- 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.
Presentations given at the twice-annual program meetings