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

Further Information

Presentations given at the twice-annual program meetings

Software