Prof. Lambert Meertens,
Dr Cordell Green
Dr Stephen Fitzpatrick
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.
given at the twice-annual program meetings