Home : Current Projects : Consona

Constraint Networks for the Synthesis of Networked Applications

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

Software

- Back to Top -

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -