Approach and methodology

An experimental methodology will be used, starting from feasibility experiments to real case studies. Implementations generated by the compiler are validated by comparison with manually generated implementations.

The following phases in our methodology can be identified:

1. Practical experimentations with new and existing ILP designs, with implementations and their execution environments. How to capture application requirements with formal methods.

2. From initial experimentation, the following parallel activities will be pursued:
   • Formulation of specification language
   • Design and implementation of execution environment
   • Conceptual work on architecture, including dynamic configuration
3. Design of the compiler and its runtime system.